布尔逻辑式

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