四川大学离散数学课件第29讲格与布尔代数2.pptVIP

第17章 格与布尔代数(2) 主要内容 有界格 有补格 布尔代数的定义 布尔代数的性质 布尔代数的同构 布尔表达式 布尔函数 * * 有界格 定义17-3.2 　设L,≤（L, ∨，∧）是一个格，若存在元素a∈L，使得对任意x∈L，都有 a≤x(或x≤a)， 则称a为格L,≤的最小元(或最大元)，分别记为0(或1)，而具有最大元和最小元的格称为有界格。 根据最大元“1”和最小元“0”的定义，对任意x∈L， 1∧x＝x∧1＝x， 1∨x＝x∨1＝1 0∧x＝x∧0＝0， 0∨x＝x∨0＝x * * 有界格 例6 如图a、b、c所示的格是有界格，其最大元和最小元都是1，0。 有限格一定是有界格。但一个有界格则不一定是有限格，如[0,1]，≤。 * * 图17-3．2 有补格 定义17-3.3 　设L,∨,∧为有界格，1和0分别为它的最大元和最小元，对于?a∈L。如果存在b∈L，使得 a∧b＝0，a∨b＝1（同时成立）， 则称a和b互为补元。若对任意a∈L，都有补元 存在，则称L,∨,∧为有补格。 * * 有补格 例7 如图17-2所示的图，求其所有元素的补元(如果有的话)。 * * 图17-2 有补格 对于图17-2a（这里设x的补元为x’） 0＝1，1＝0，a＝e，d＝c，d＝e， c＝d，e＝a，e＝d，b无补元。 对于图17-2b 0＝1，　1＝0，　a＝d，　a＝c， b＝d，　b＝c，　c＝a，　c＝b， d＝a，　d＝b 因此图17-2a不是有补格，图17-2b是有补格。 补元如果存在，不一定惟一，那么，在什么条件下可以保证补元是惟一的呢？ * * 有补格 定理17-3.2 在有补分配格(既是有补格又是分配格，简称为有补分配格)L,∨,∧中，如元素?a∈L有补元存在，则此元素的补元必惟一。 证明　设a有两个补元b和c，由补元的定义知 a∧b＝0＝a∧c，a∨b＝1＝a∨c 由消去律（分配格所具有）知，b＝c。 * * 有补格 定理17-3.3(4) 设L,∨,∧是有补分配格，“≤”是该格的自然偏序，则对任意a,b∈L，都有 ① ； (对合律) ② ； ③ ； ④a≤b ? ? 。 * * (De Morgan律) 布尔代数 定义17-4.1 　称有补分配格B,∨,∧为布尔格。 在有补分配格中每个元都有补元而且补元惟一，则可以将求元素的补元“ˉ”作为一种一元运算，则此布尔格B,∨,∧可记为B,∨, ∧,ˉ,0,1，此时，称B,∨, ∧,ˉ,0,1为布尔代数。（突出了代数特征） 若一个布尔代数的元素个数是有限的，则称此布尔代数为有限布尔代数。 * * 布尔代数 例8 如图(a)、(b)、(c)所示的图中，图(a)是一个布尔代数，但图(b)、(c)都不是布尔代数。 * * 布尔代数的性质 布尔代数是有补分配格，有补分配格B，∨，∧必须满足： ①是格 ②分配律成立 ③有最大元和最小元（有界）； ④每个元的补元存在； 最大元1和最小元0可以用下面的同一律和零律来描述：在L中存在两个元素0和1，使得对任意a∈L，有 a∧1＝a，a∨0＝a；a∨1＝1，a∧0＝0 * * 布尔代数的性质 补元的存在可以用下面的互补律来描述： 对任意a∈L，存在 ∈L，使得 a∧ ＝0，a∨ ＝1。 从本章17.1节知道格可以用交换律、结合律、吸收律、幂等律来描述。 有补分配格就必须满足交换律、结合律、吸收律、幂等律、分配律、同一律、零律、互补律、消去律、 De Morgan律、有界性。 * * 布尔代数的性质 例9 (1)设B＝{0,1}，B上的运算∧、∨和ˉ分别由表17-1、表17-2和表17-3给出，不难证明B,∧,∨,ˉ,0,1是布尔代数，习惯上称之为电路代数，它是Hasse图为链的惟一的布尔代数。 * * 表17–1 表17–2 表17–3 布尔代数的性质 (2)设S为任意集合，2S是S的幂集，∩、∪和分别是集合的交、并和补运算，容易证明 2S，∩,∪,-,Φ,S是布尔代数，称之为集合代数。如果S为n个元素的有限集，则2S有2n个元素，该布尔代数的Hasse图为n维立方体图。 (3)设S为含有n个命题变元的命题公式集合，∧、∨和┐分别表示命题公式的合取、析取和否定运算，F和T分别表示恒真式和恒假式，显然S,∧,∨,┐,F,T是布尔代数，称之为命题代数