离散数学7格与布尔代数(简化版).ppt

第七章 格与布尔代数 集合代数：(ρ(S),∩,∪) 对?A,B,C∈ρ(S)，运算∪，∩满足：? 等幂律 A∩A = A， A∪A = A， 交换律 A∩B = B∩A， A∪B = B∪A， 结合律 A∩(B∩C)=(A∩B)∩C， A∪(B∪C)=(A∪B)∪C， 分配律 A∩(B∪C)=(A∩B)∪(A∩C)， A∪(B∩C)=(A∪B)∩(A∪C)， 吸收律 A∩(A∪B)=A， A∪(A∩B)=A 若引进余集ˉ的概念，有De Morgan定律: 命题代数（S，∧，∨） 对?A,B,C∈S，运算∧，∨满足：? 等幂律 A∧A = A， A∨A = A， ， 交换律 A∧B = B∧A，A∨B = B∨A 结合律 A∧（B∧C）=（A∧B）∧C， A∨（B∨C） = （A∨B）∨C 分配律 A∧(B∨C)=(A∧B)∨(A∧C)， A∨（B∧C） = （A∨B） ∧（A∨C） 吸收律 A∧(A∨B)=A，A∨（A∧B）=A， 若引进否定?的概念，有De Morgan定律: ?(A∧B )= ?A∨?B, ?(A∨B )= ?A∧?B, §7.2 格 的