布尔逻辑

布尔逻辑得名于 George Boole，他是考克大学(现爱尔兰国立考克大学)的英国数学家，他在十九世纪中叶首次定义了逻辑的代数系统。现在，布尔逻辑在电子学、计算机硬件和软件中有很多应用。在 1937 年，Claude Shannon 展示了布尔逻辑如何在电子学中使用。使用集合代数作为介绍布尔逻辑的一种方式。还使用文氏图来展示各种布尔逻辑陈述所描述的集合联系。