知识/定理
布尔 1847《逻辑的数学分析》/1854《思维规律》：把逻辑推理代数化——布尔代数。
公式
$A\land B$、$A\lor B$、$\lnot A$ 的运算律：$A\land A=A$、$A\lor(B\land C)=(A\lor B)\land(A\lor C)$。
证明思路
把命题当「集合」/真值，定义交并补运算并验证其满足的代数定律。
应用/例子
数字电路（与或非门）、计算机底层、数据库查询、形式逻辑。
意义/影响
逻辑的代数化，成为计算机科学的心脏；「思维规律」的数学化先声。