布尔逻辑

布尔逻辑得名于George Boole，他是考克大学（现爱尔兰国立考克大学）的英国数学家，他在十九世纪中叶首次定义了逻辑的代数系统。现在，布尔逻辑在电子学、计算机硬件和软件中有很多应用。在1937年，Claude Shannon展示了布尔逻辑如何在电子学中使用。后来，由于布尔代数被广泛用于解决开关电路和数字逻辑电路中，所以也称为开关代数或逻辑代数。

逻辑代数是一门完整的科学。与普通代数一样，也有一些用于运算的基本定律。基本定律反映了逻辑运算的基本规律，是化简逻辑函数、分析和设计逻辑电路的基本方法。