其实，布尔代数是一类特别的格： ·1,我们可以从布尔代数和偏序集两个角度共同定义一个“系统” ·2,布尔代数和有界有补分配格是“等价”的 Theorem 15.5:The following are equivalent in a Boolean algebra: (1)a+b=b,(2)a*b=a,(3)a'+b=1,(4)a*b=0 Thus in a Boolean alegbra we can write a b whenever any of the above four conditions is known to be true.其实，布尔代数是一类特别的格： • 1，我们可以从布尔代数和偏序集两个角度共同定义一个“系统” • 2，布尔代数和有界有补分配格是“等价”的