离散数学第七章177.pptVIP

2. 试证明在格中对于任意元素a,b,c,d, 有 (a?b) ?(c?d)? (a?c) ?(b?d) 证明 由(7-4) a ? b ? a ； 由(7-4?)，a ?a ? c，因此a ? b ?a?c， 同理，c?d?c，c?a?c，因此有c?d?a?c， 故由（7-5′）a?c?(a?b) ?(c?d) 类似地，a?b ?b ?b?d，c?d ?d ?b?d 故由（7-5′）b?d?（a?b）?(c?d) 又由（7-5）(a ? b)?(c?d) ?( a ?c)?( b?d ) * * 作业 P173 1 (2) 4 P174 16 18 * * 令 S1={{b},{a,b}{b,c},{a,b,c}} S2={?,{a},{ c},{a, c}} S3={?,{a},{c},{a,b},{a,c},{b,c},{a,b,c}} S1;?,?是2U;?,?的子格。 S2;?,?也是2U;?,?的子格。 S3不能与这两个运算构成2U;?,?的子格。 ? {a,b,c} {a,c} {b,c} {a,b} {a} {c} {b} * * 2