布尔代数

---

用代数的方法研究推理、证明等逻辑问题的一门学科。也称逻辑代数、开关代数。由英国的数学家兼逻辑学家布尔所创立，故得名。布尔为实现十七世纪德国数学家莱布尼兹的设想，用数学符号运算形式来实现人的思维逻辑程序，在1847年发表了《逻辑的数学分析》，1854年发表了《思维规律》。这些著作显示了思维形式化的数学推演系统，包括有命题代数和集合代数，对于任何一个由两个或两个以上元素的集合，由加法或乘法进行运算，都可验证其运算系统成立。布尔代数后来在线路设计和自动化系统中广泛应用。