Boolean algebra布尔代数

一种抽象的数学体系，即逻辑代数。主要用于计算机科学及表达集合之间的关系。1850年前后，英国数学家乔治·布尔应用代数方法研究逻辑问题，创建了这门学科。通过代数演算指出某个判断是否为真，并且表明复杂的判断可用更为简单和方便的形式重新表达而不改变意义。用于集合论，可以阐明数组之间的关系。还对开关理论的建立及计算机的设计很有帮助。