离散数学06布尔代数学习课件.pptVIP

北 京 交 通 大 学 第九章 格与布尔代数 9.1 格 9.2 布尔代数 9.3 子布尔代数、积布尔代数 和布尔代数同态 9.4 布尔代数的原子表示 9.5 布尔代数Br2 9.6 布尔表达式及其范式定理 9.1 格 1．格作为偏序集 定义9.1.1 设L,≤是一个偏序集，若对任意a,b,?L，存在glb{a,b}和lub{a,b}，则称L,≤为格，并记为a*b=glb{a,b}，a?b=lub{a,b}，称?和?分别为L上的交（或积）和并（或和）运算。称L,?,*为L,≤所诱导的代数结构的格。若L是有限集合，称L,≤为有限格。 格的对偶性原理是成立的： 令L,≤是偏序集，且L,≥是其对偶的偏序集。若L,≤是格，则L,≥也是格，反之亦然。这是因为，对于L中任意a和b，L,≤中lub{a,b}等同于L,≥中glb {a,b}，L,≤中glb{a,b}等同于L,≥中的lub{a,b}。若L是有限集，这些性质易从偏序集及其对偶的哈斯图得到验证。 从上讨论中，可知两格互为对偶。互为对偶的两个L,≤和L,≥有着密切关系，即格L,≤中交运算?正是格L,≥中的并运算?，而格L,≤中的并运算?正是格L,≥中的交运算?。因此，给出关于格一般性质的任何有效命题，把关系≤换成≥（或者≥换成≤），交换成并，并换成交，可得到另一个有效命题，这就是关于格的对偶性原理。 定义9.1.2