共用题干题设＜L；≤＞是一个格，试证明对于任意的元素a，b，c∈L，有下列命题成立： a∨[（a∨b）∧（a∨c）]=（a∨b）∧（a∨c）。

若a∧b∧c=a∨b∨c，则a=b=c。 点击查看答案

若a∧b=a∨b，则a=b。 点击查看答案