Question

求助一离散数学题！！！！

Answer 1

任x∈ab+ac,则
x∈ab或x∈ac,
所以x∈a且x∈b,或x∈a且x∈c,
所以x∈a且x∈b+c,
反之也成立。即ab+ac=a(b+c).
同理(a+c)(a+b)=a+bc.
于是ab+ac=a(b+c)≤a≤a+bc=(a+c)(a+b).
可以吗？

Answer 2

格是一种特殊的偏序集。
这种顺序，可以是大小关系（数），包含关系（集合），蕴含关系（命题）。

<L,∨,∧>是代数格，运算∨,∧满足交换律、结合律、吸收律。
可以把L看成是集合的集合，顺序看成包含关系。
（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∨C)∧(B∨C)