二元布尔代数

亦称简单布尔代数.一种常用的布尔代数.指论域仅含两个相异元素的布尔代数.其特点是：

1.B={0，1}，且其运算可用下面诸表列出：

　　2.二元布尔代数可用{0}是它的惟一的真理想来刻画，即在布尔代数B中，B={0，1}当且仅当{0}是B的惟一的真理想.

3.B的哈塞图如右图所示.

4.若0和1分别表示真值假和真，则在{0，1}上的布尔运算+，·，′分别表示三种逻辑运算：析取、合取和否定.

5.可以证明任何二元布尔代数都是同构的.

binary Boolean algebra