离散数学 格与布尔代数.pptVIP

定理１　设L是一个格，如果L中的交对并可分配，则并对交必可分配．反之亦然． §7.5 分配格与模格 证明：a *（b?c）＝（a * b）?（a * c） 则　（a?b）*（a?c） ＝（（a?b）* a）?（（a?b）* c） ＝ a?（（a?b）* c） ＝a?（（a * c）?（b * c）） ＝（ a?（a * c））?（b * c） ＝ a?（b * c） 可分配 吸收率 可分配 结合律 吸收率 例２　下图所示的两个格都不是分配格 §7.5 分配格与模格 例１　集合A的幂集格P（A）是分配格 b *（c?d）＝b * a＝b 　　　　 （b * c）?（b * d）＝ｅ?ｅ＝ｅ c *（b?d）＝c * a＝c　　　　　 （c * b）?（c * d）＝e? d＝d 定理２　设〈L，?，*〉是一个分配格，a，b，c∈L，如果　a * b＝a * c ，a?b＝a?c 则　b＝c. b＝b *（b ? a） ＝b *（a ? b） ＝b *（a ? c） ＝（b * a）?（b * c） ＝（a * c）?（b * c） ＝（a ? b）* c ＝（a ? c）* c ＝c 证明： §7.5 分配格与模格 交换律 吸收率 代入 分配律 代入 分配律 代入 吸