内容发布更新时间 : 2024/5/16 3:42:05星期一 下面是文章的全部内容请认真阅读。

素皆有补元，是

有补格； ，所以对运算不满足

分配律，所以不是分配格，所以不是布尔格； （f）图：经过分析知图（f）对应的格只有2个五元子格：L1={a,c,d,e,f}, L2={a,b,c,d,f}。画出L1和L2的哈斯图可知L1和L2均不同构于钻石格和五角格，根据分配格的充分必要条件（见P213页的定理11.5）得图（f）对应的格是分配格；c和d都没有补元，所以不是有补格，所以不是布尔格。