离散数学 (II) 习题 13

提示：文章写完后，目录可以自动生成，如何生成可参考右边的帮助文档

---

1、对于 n = 1, 2, 3, 4, 5，请给出所有不同构的 n 元格，并说明其中哪些是分配格，有补格和布尔格。

解答：
（1）当n=1时

其中①是分配格，是小于5元的格
无补格和布尔格
（2）当n=2时

其中①是分配格，是小于5元的格
①的a，b互为补元，为有补格
所以①为布尔格
（3）当n=3时

其中①②是分配格，是小于5元的格
①a，c互为补元，a为上界，c为下界，b无补元，不为有补格，所以不是布尔格
②a，c互为补元，a为上界，c为下界，b无补元，不为有补格，所以不是布尔格
（4）当n=4时

其中①②③④是分配格，是小于5元的格
①a，d互为补元，a为上界，d为下界，b，c互为补元，为有补格，所以是布尔格
①a，c互为补元，a为上界，c为下界，b，d互为补元，为有补格，所以是布尔格
①a，b互为补元，a为上界，d为下界，c，d无补元，不为有补格，所以不是布尔格
①a，c互为补元，a为上界，c为下界，b，d无补元，不为有补格，所以不是布尔格
（5）当n=5时

其中①②③④是分配格，⑤不是分配格，是钻石格
①a，e互为补元，a为上界，e为下界，b，d互为补元，c无补元，不为有补格，所以不是布尔格
②a，d互为补元，a为上界，d为下界，b，c的补元为e，e的补元为b，c，为有补格，所以是布尔格
③a，c互为补元，a为上界，c为下界，b，d互为补元，e无补元，不为有补格，所以不是布尔格
④a，d互为补元，a为上界，d为下界，b，c互为补元，e无补元，不为有补格，所以不是布尔格
⑤b，d互为补元，b为上界，d为下界，a的补元为c，e，c的补元为a，e，e的补元为c，a，为有补格，但是不是布尔格

2、设 B 是一个布尔代数，a, b, c ∈ B，并且 a ⪯ c，请证明：a ∨ (b ∧ c) = (a ∨ b) ∧ c。

解答：
因为B为布尔代数
所以a ∨ (b ∧ c) = (a ∨ b) ∧ (a ∨ c)
因为a ⪯ c， a ∨ c = c
所以a ∨ (b ∧ c) = (a ∨ b) ∧ c