-
The basic principle of computers is Boolean algebra.
电脑的基本原理是布林代数。
-
The order-preserving doubly mapping on a Boolean algebra equivalents to symmetry operation;
布尔代数上保序对合映射与对称运算等价；
-
There define the Boolean operations for Boolean algebra of two and four elements, respectively.
这里分别定义了具有两个和四个元素的布尔代数的布尔运算。
-
All finite symmetry Boolean algebra are set algebra of a certain set X, Which has a doubly mapping.
有限的对称布尔代数都是某个带有一个对合映射的集合x上的集合代数。
-
For example, the set algebra for the set t defined above corresponds to a Boolean algebra of 32 elements.
例如，上文定义的集合t的集合代数就对应与一个有32个元素的布尔代数。
1. 在抽象代数中，布尔代数（英语：Boolean algebra）是捕获了集合运算和逻辑运算二者的根本性质的一个代数结构（就是说一组元素和服从定义的公理的在这些元素上运算）。特别是，它处理集合运算交集、并集、补集；和逻辑运算与、或、非。 例如，逻辑断言陈述a和它的否定¬a不能都同时为真， ， 相似于集合论断言子集A和它的补集A有空交集， 。 因为真值可以在逻辑电路中表示为二进制数或电平，这种相似性同样扩展到它们，所以布尔代数在电子工程和计算机科学中同在数理逻辑中一样有很多实践应用。在电子工程领域专门化了的布尔代数也叫做逻辑代数，在计算机科学领域专门化了布尔代数也叫做布尔逻辑。 布尔代数也叫做布尔格。关联于格（特殊的偏序集合）是在集合包含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）在英文中的意思是“布尔的”，这是为了表彰布尔的贡献，而“布尔”只是一种音译。