离散数学-新第七章.pptVIP

下面给出的三个次序图，其中哪些是格？在图 下方相应的括号内键入“y”或“N”表示肯定或否定。 ( ) ( ) ( ) N Y Y Y Y N N 4．对下图所给出的格判断以下子集是否能构成它的 子格。在相应的括号内键入“Y”或“N”来回答 （1）S1={e,c,b} ( ) （2）S2={d,b,a} ( ) （3）S3={c,d,b} ( ) （4）S4={c,d,a} ( ) e d c b a 定义7-8 设L； ， 是一个格，若对于任意的 1, 2， 3 ∈ L，有 则称 L ； ， 是分配格。 7．3 分配格和有补格 一、分配格 1．分配格的定义 d c b a e c d b a d b c a 例1 对任意的集合A，2A ；∪，∩是一个分配格， = a∨a =a 因此 b∧(c∨d)≠（b∧c）∨b∧d） 而（b∧c)∨(b∧d） 例2???????? b∧(c∨d) = b∧e = b e b c d a 2． 分配格的判别 定理7