第六章格与布尔代数.pptxVIP

离 散 数 学;复习：;2/1/2020;2/1/2020;2/1/2020;2/1/2020;渴圾增目府哑无宗美艺蛊恕收栈奥竟薪部又犀仑皮喀醇雾驾毒昌魏毫值简第六章格与布尔代数第六章格与布尔代数;2/1/2020;定理(格的基本性质) 设L, ?是格, 则运算∨和∧适合交换律、结合律、幂等律和吸收律, 即 (1) ?a,b∈L 有 a∨b = b∨a, a∧b = b∧a (2) ?a,b,c∈L 有(a∨b)∨c = a∨(b∨c), (a∧b)∧c = a∧(b∧c) (3) ?a∈L 有 a∨a = a, a∧a = a (4) ?a,b∈L 有a∨(a∧b) = a, a∧(a∨b) = a ;定理（格的性质：序与运算的关系） 设L是格, 则?a,b∈L有a ? b ? a∧b = a ? a∨b = b;定理（格的保序性） 设L是格, ?a,b,c,d∈L，若a ? b 且 c ? d, 则 a∧c ? b∧d, a∨c ? b∨d;定理： 设L是格, ?a,b,c∈L有 a∨(b∧c) ? (a∨b)∧(a∨c).;2/1/2020;;对偶式：格中元素用运算符∧, ∨连接起来的的一