们，所以布尔代数在电子工程和计算机科学中同在数理逻辑中一样有很多实践应用。在电子工程领域专门化了的布尔代数也叫做逻辑代数，在计算机科学领域专门化了布尔代数也叫做布尔逻辑。布尔代数也叫做布尔格。关联于格（特殊的偏序集合）是在集合包含"A" ⊆ "B"和次序"a" ≤ "b"之间的相似所预示的。考虑{"x","y","z"}的所有子集按照包含排序的格。这个布尔格是偏序集合，在其中{"x"}  ≤ {"x","y"}。任何两个格的元素，比如"p" = {"x","y"}和"q" = {"y","z"}，都有