1854 年，一位没有大学学位的英国乡村教师出版了一本薄薄的书，书名叫《思维的规律》（The Laws of Thought）。书中提出了一套用代数符号表达逻辑推理的方法——AND、OR、NOT，以及 0 和 1。他没有预见到这套方法将成为所有数字计算机的数学地基。他只是想弄清楚，人类的思维是否遵循某种可以被形式化的规律。
乔治·布尔（George Boole）在这本书出版十年后去世，享年 49 岁。他的理论被冷落了将近八十年，直到 1937 年克劳德·香农在一篇硕士论文里证明：布尔代数与电子开关电路的逻辑是同一件事。
破除误解：布尔不是计算机科学家
布尔生活的年代（1815–1864），计算机尚不存在，数字电路的概念也无从谈起。他是一位数学家和逻辑学家，他的问题是哲学性和数学性的：亚里士多德以来的逻辑学能否被代数化？
把布尔称为"计算机科学之父"会误导人。他是数理逻辑（mathematical logic）和代数逻辑（algebraic logic）的奠基人之一，而数理逻辑后来成为计算机科学的数学基础，这是他身后的历史发展。布尔本人对计算机毫无概念，他关心的是心理学、哲学和纯数学。
现场：自学成才的林肯郡教师
布尔 1815 年 11 月 2 日生于英格兰林肯郡，父亲是一位靴匠，家境贫寒，没有受过高等教育。布尔自学了拉丁语、希腊语、法语和德语，并通过阅读牛顿、拉格朗日等人的原著自学数学。16 岁时，他开始在当地学校教书以维持生计。
就在这种条件下，他开始独立研究微积分，并在 1840 年代向英国皇家学会提交了一系列有价值的数学论文。1849 年，他被任命为爱尔兰科克女王学院（今科克大学学院）数学系第一任教授——这是他人生中第一个也是唯一一个正式学术职位。
他的主要著作发表于这段任职期间： - 1847 年：《逻辑的数学分析》（The Mathematical Analysis of Logic） - 1854 年：《思维的规律》（An Investigation of the Laws of Thought）
核心：把逻辑变成代数
亚里士多德的三段论逻辑已有两千年历史，但它一直是文字性的，无法像代数方程那样被符号化地操作。布尔的突破在于：他发现逻辑命题可以用代数变量表示，逻辑运算可以用代数运算表示。
布尔代数的核心规则（用现代符号表示）：
| 运算 | 布尔符号 | 含义 |
|---|---|---|
| AND（与） | 或 $xy$ | 两个命题都为真 |
| OR（或） | $x + y$ | 至少一个命题为真 |
| NOT（非） | 命题取反 |
变量的取值只有 0（假）和 1（真），且遵循特殊规则，例如：$x + x = x$（一个命题与自身的"或"仍是它本身），，（一个命题与其否命题的"或"为真），。
这些规则与普通代数不同，但内部完全一致——布尔用严格的代数方式证明了它们的自洽性。
为什么这是革命性的？ 在布尔之前，逻辑推理是人用文字和直觉完成的事。布尔之后，逻辑推理可以被符号化、机械化——只要按照代数规则操作符号，就能得出有效的逻辑结论，无需判断命题的"意义"。这是从逻辑到计算的关键一步。
1847 年的机制：三段论如何变成方程
布尔在 1847 年那本不足百页的小册子里引入了他称为"选择符号"（elective symbols）的记法：符号 x 代表"从论域中选出所有 X"这个操作。两个符号并列写——xy——表示先做 x 的选择、再在结果中做 y 的选择，也就是两个类的交。三个关键观察由此而来：
- 连续选两次等于选一次：xx = x。这条"幂等律"在普通代数里只有 0 和 1 满足，布尔由此意识到他的符号恰好可以解释为只取 0、1 两个值的量——整个系统于是能借用普通代数的大部分运算规则，只在幂等律处分道扬镳。
- 补类是减法：若 1 代表整个论域，则"非 X"就是 1 − x，"是 X 但不是 Y"就是 x(1 − y)。
- 直言命题全部化为方程："所有 X 都是 Y"写成 xy = x（X 与 Y 的交就是 X 本身）；"没有 X 是 Y"写成 xy = 0。特称命题（"有些 X 是 Y"）则需要引入一个表示非空类的辅助符号 v，写成 xy = v。
这样一来，亚里士多德式三段论推理被还原为代数操作：把两个前提方程联立，消去中项，解出结论。以最经典的"Barbara"式为例：前提一"所有 X 都是 Y"写作 x = xy，前提二"所有 Y 都是 Z"写作 y = yz；把前提二代入前提一，得 x = x(yz) = (xy)z = xz——这正是结论"所有 X 都是 Z"。布尔证明了他系统内合法的代数变换恰好对应传统逻辑中有效的推理式。更重要的是视角的转换：推理的正确性不再依赖对三段论各"格"与"式"的逐条记忆，而来自对方程变形规则的机械执行。
1854 年的《思维的规律》沿用并简化了这套记法（不再区分大小写符号），并把同样的代数推广到概率——布尔认为概率论研究的正是"期望的逻辑"。这是他哲学野心的一部分：把理性思维的所有规律统一到一个代数框架里。
香农的跨越：开关电路与布尔代数
布尔死后 73 年，1937 年，麻省理工学院的研究生克劳德·香农（Claude Shannon）在硕士论文《继电器与开关电路的符号分析》中做出了一个看似简单但意义深远的观察：
电子开关的两个状态（开/关）与布尔变量的两个值（1/0）是同构的。 开关串联对应 AND，并联对应 OR，反向对应 NOT。
这意味着，任何可以用布尔代数表达的逻辑函数，都可以用电子开关电路实现。而布尔已经证明，所有逻辑推理都可以用布尔代数表达。因此：所有逻辑推理都可以被电子电路机械地执行。
香农从布尔那里取用的不是某个具体定理，而是整套二值代数框架。继电器接点只有闭合与断开两个稳定状态，电路工程师本来就凭直觉做串并联组合，但只能靠试。布尔代数给了他们一套演算工具：先写出电路对应的布尔表达式，再用恒等式（如吸收律 $x + xy = x$）化简，化简后的式子直接对应元件更少的电路。逻辑设计与电路设计由此成为同一件事的两面。
为什么偏偏是二进制，而不是三进制或十进制？答案在工程可靠性里：一个只需区分两个稳定状态的开关，对噪声与元件误差的容忍度，远高于需要区分十个稳定电平的器件。布尔的二值代数恰好与最可靠的物理实现严丝合缝——数学上的"最简"与工程上的"最稳"在这里相遇。
这篇被称为"20 世纪最重要的硕士论文"的文章，是从布尔 1854 年的数学到 1945 年冯·诺伊曼计算机架构之间缺失的桥梁。
布尔代数在计算机中的具体体现
现代计算机的每一个核心操作都基于布尔逻辑：
- 加法器：两个二进制位相加的电路，由 AND 门、OR 门和 XOR（异或）门组成。
- 比较器：判断两个数是否相等，使用 XNOR（同或）门。
- 选择器（MUX）：根据控制信号选择输入，使用 AND 和 OR 门组合。
- 寄存器：用触发器（flip-flop）实现，其逻辑基础是 NAND 或 NOR 门的反馈结构。
一块现代处理器芯片上有数十亿个晶体管，每一个晶体管都是一个电子开关，每一个开关都在执行布尔运算。布尔 1854 年写下的代数规则，正在以光速在每秒数十亿次的频率被执行。
值得注意的是，从加法器到寄存器，这些电路没有任何一个需要"理解"自己在算什么——它们只是忠实地执行布尔恒等式。这正是布尔当年想达到的画面：推理被从意义中剥离出来，交给符号的规则去机械地完成。
代价与争议
布尔代数在数学上并不"唯一"——存在多种等价的公理化方式，布尔本人的原始表述与现代教科书版本有所不同。严格说，他的"+"只适用于不相交的类（更接近今天的异或），把它改造成可用于任意类的包容"或"，是杰文斯（William Stanley Jevons）在 1860 年代的工作，再经皮尔斯（Charles Sanders Peirce）与施罗德（Ernst Schröder）系统化。亨廷顿（E.V. Huntington）等人在 20 世纪初对布尔代数进行了现代化的公理化处理——布尔代数自此成为一门可以脱离逻辑解释、独立研究的代数结构。
布尔本人对自己的代数系统有更雄心勃勃的哲学主张：他认为自己发现了人类思维的真实规律，而不仅仅是一个数学工具。这个哲学主张在认知科学和心灵哲学中至今仍有争议——人类的思维是否真的遵循布尔逻辑？
关于布尔的死亡，有一个真实但令人唏嘘的细节：1864 年 11 月，他冒雨步行去大学上课，回到家时全身湿透，随即病倒，数周后因肺炎去世。他的妻子玛丽·埃弗里斯特·布尔（Mary Everest Boole）据说用湿冷的床单包裹他，认为"以其致病之物治之"——这种疗法显然有害无益。布尔享年仅 49 岁。
跨域连接
- 逻辑：亚里士多德式推理靠识别句子的形式模式，每种模式都要单独记住。他把命题写成变量、把连接词写成运算，推理于是变成解方程——有效性由代数恒等式保证，不必逐个模式判定。这一步之后，"这个推理对不对"才第一次有了不依赖直觉的判定程序，机械化才谈得上。
- 域：把与当作乘法、异或当作加法，两个真值就构成一个只有两元素的域。逻辑函数因此成了这个域上的多项式，可以用纯代数手段化简与求解。今天的代数正规形、纠错码与求解器里的代数方法，共用的正是这条同构；电路最小化之所以有唯一范式，也来自同一批恒等式。
- 弗雷格：他把连接词代数化了，量词却留在体系之外。弗雷格补上的正是这一层，代价是必须放弃"逻辑即代数"的类比，改用带约束变元的形式语言。这条分界后来被证明极其重要：命题逻辑可判定，一阶谓词逻辑不可判定，而分界线恰好落在他停下的地方。
- 沃森选择任务：如果人真按布尔条件句推理，检验"若 P 则 Q"就该翻开 P 与非 Q 两张卡。实测中多数人不这样做，但把同一条规则改写成含社会义务的表述，正确率就大幅上升。这说明人类推理对内容敏感，因而他所谓的"思维的规律"是规范而非描述——两者常被混为一谈。
- SAT 求解：代数化让"这组约束能否同时成立"变成纯符号问题，现代求解器再靠单元传播与冲突学习在指数空间里剪枝。结果是许多实际问题被有意翻译成可满足性问题——验证、排班、依赖求解——因为翻译的代价远低于自建一套搜索。
参考文献
- Boole, G. The Mathematical Analysis of Logic. Macmillan, Barclay & Macmillan (1847). （布尔代数的首次系统陈述）
- Boole, G. The Laws of Thought. Walton and Maberly (1854; Dover reprint 2003). （原著，可在线获取）
- MacHale, D. George Boole: His Life and Work. Boole Press (1985). （标准传记）
- Shannon, C. E. A Symbolic Analysis of Relay and Switching Circuits. Transactions of the American Institute of Electrical Engineers 57 (1938): 713–723. （连接布尔代数与电路的关键论文）