Untitled

Untitled

Untitled

Untitled

Untitled

但是格不一定可分配,可以分配的叫做分配格。

Untitled

有限格都是有界格。

Untitled

另,定义补运算:

Untitled

Untitled

0和1一定互为补。补可能有多。如果格是有补的(即全部元素都有补,应该只有一个吧?),又可分配……

Untitled

又把求补运算称为 $\neg$ ,于是得到布尔代数如下。

Untitled

Untitled

判断是否为布尔代数的方法

Untitled