布尔代数

布尔代数（英語：Boolean algebra）在抽象代数中是指捕获了集合运算和逻辑运算二者的根本性质的一个代数结构（就是说一组元素和服从定义的公理的在这些元素上运算）。特别是，它处理集合运算交集、并集、补集；和逻辑运算与、或、非。 例如，逻辑断言陈述a和它的否定¬a不能都同时为真， ， 相似于集合论断言子集A和它的补集AC有空交集， 。 因为真值可以在逻辑电路中表示为二进制数或电平，这种相似性同样扩展到它们，所以布尔代数在电子工程和计算机科学中同在数理逻辑中一样有很多实践应用。在电子工程领域专门化了的布尔代数也叫做逻辑代数，在计算机科学领域专门化了布尔代数也叫做布尔逻辑。 布尔代数也叫做布尔格。关联于格（特殊的偏序集合）是在集合包含A ⊆ B和次序 a ≤ b之间的相似所预示的。考虑{x,y,z}的所有子集按照包含排序的格。这个布尔格是偏序集合，在其中{x} ≤ {x,y}。任何两个格的元素，比如p = {x,y}和q = {y,z}，都有一个最小上界，这里是{x,y,z}，和一个最大下界，这里是{y}。这预示了最小上界（并或上确界）被表示为同逻辑OR一样的符号p∨q；而最大下界（交或下确界）被表示为同逻辑AND一样的符号p∧q。 这种格释义有助于一般化为海廷代数，它是免除要么一个陈述要么它的否定必须为真的限制的布尔代数。海廷代数对应于直觉逻辑，而布尔代数对应于经典逻辑。 布尔代数又譯為布林代数，然而布尔代数得名于乔治·布尔，他是爱尔兰科克的皇后学院的英国数学家。布林（boolean）在英文中的意思是「布尔的」，這是為了表彰布尔的貢獻，而「布林」只是一種音譯。