§2分配格 讨论定义 (1)定义中的两式互为对偶式 (2)如<L,s>非为分配格,则有下面的分配不等式: av(b∧c)≤(avb)∧(avc) a∧(bvc)≥(a∧bv(a∧C) 以及模不等式: ascea v(b∧c)≤(avb)∧C11 §2分配格 讨论定义： (1)定义中的两式互为对偶式。 (2)如<L,≤>非为分配格，则有下面的分配不等式： a  (b  c) ≤ (a  b)  (a  c) a  (b  c) ≥ (a  b)  (a  c) 以及模不等式： a≤ca  (b  c) ≤ (a  b)  c