离散数学(第16-17章)陈瑜研究.ppt

* 计算机学院 */128 该表所给出的从B3到B的函数f1(x1,x2,x3)是布尔函数，它可表示为： f1(x1,x2,x3) ＝( 1∧ 2∧ 3)∨( 1∧ 2∧x3) ∨(x1∧ 2∧ 3)∨(x1∧x2∧x3)。 * 计算机学院 */128 习题 P214 1、2、5（1）、6、7（1）、8（1）、10 人有了知识，就会具备各种分析能力， 明辨是非的能力。 所以我们要勤恳读书，广泛阅读， 古人说“书中自有黄金屋。 ”通过阅读科技书籍，我们能丰富知识， 培养逻辑思维能力； 通过阅读文学作品，我们能提高文学鉴赏水平， 培养文学情趣； 通过阅读报刊，我们能增长见识，扩大自己的知识面。 有许多书籍还能培养我们的道德情操， 给我们巨大的精神力量， 鼓舞我们前进。 * * 计算机学院 */128 有界格 定义17.8 设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 * 计算机学院 */128 例 　如下图a、b、c所示的格是有界格，其最大元和最小元都是1，0。 有限格一定是有界格。但一个有界格则不一定是有限格，如[0,1]，≤。 * 计算机学院 */128 例 　如下图a、b、c所示的格是有界格，其最大元和最小元都是1，0。 图12-3．2 有限格一定是有界格。但一个有界格则不一定是有限格，如[0,1]，≤。 * 计算机学院 */128 有补格 定义17.9、17.10 设L,∨,∧为有界格，1和0分别为它的最大元和最小元，对于?a∈L。如果存在b∈L，使得： a∧b＝0，a∨b＝1（同时成立）， 则称a和b互为补元。若对任意a∈L，都有补元 存在，则称L,∨,∧为有补格。 * 计算机学院 */128 例 　如下图所示的图，求其所有元素的补元(如果有的话)。 * 计算机学院 */128 对于图 a（这里设x的补元为x’） 0＝1，1＝0，a＝e，d＝c，d＝e， c＝d，e＝a，e＝d，b无补元。 对于图 b 0＝1，　1＝0，　a＝d，　a＝c， b＝d，　b＝c，　c＝a，　c＝b， d＝a，　d＝b 因此图 a不是有补格，图 b是有补格。 补元如果存在，不一定唯一，那么，在什么条件下可以保证补元是唯一的呢？ * 计算机学院 */128 对于图 a（这里设x的补元为x’） 0＝1，1＝0，a＝e，d＝c，d＝e， c＝d，e＝a，e＝d，b无补元。 对于图 b 0＝1，　1＝0，　a＝d，　a＝c， b＝d，　b＝c，　c＝a，　c＝b， d＝a，　d＝b 因此图 a不是有补格，图 b是有补格。 补元如果存在，不一定唯一，那么，在什么条件下可以保证补元是唯一的呢？ * 计算机学院 */128 对于图 a（这里设x的补元为x’） 0＝1，1＝0，a＝e，d＝c，d＝e， c＝d，e＝a，e＝d，b无补元。 对于图 b 0＝1，　1＝0，　a＝d，　a＝c， b＝d，　b＝c，　c＝a，　c＝b， d＝a，　d＝b 因此图 a不是有补格，图 b是有补格。 补元如果存在，不一定唯一，那么，在什么条件下可以保证补元是唯一的呢？ * 计算机学院 */128 定理17.10 在有补分配格(既是有补格又是分配格，简称为有补分配格)L,∨,∧中，如元素?a∈L有补元存在，则此元素的补元必唯一。 证明： 设a有两个补元b和c，由补元的定义知： a∧b＝0＝a∧c，a∨b＝1＝a∨c 由消去律（分配格所具有）知，b＝c。 * 计算机学院 */128 定理17.10 在有补分配格(既是有补格又是分配格，简称为有补分配格)L,∨,∧中，如元素?a∈L有补元存在，则此元素的补元必唯一。 证明： 设a有两个补元b和c，由补元的定义知： a∧b＝0＝a∧c，a∨b＝1＝a∨c 由消去律（分配格所具有）知，b＝c。 * 计算机学院 */128 定理17.11、17.12 （教材p206） 设L,∨,∧是有补分配格，“≤”是该格的自然偏序，则对任意a,b∈L，都有 ； (对合律) ； ； a≤b ? ? 。 (De Morgan律) * 计算机学院 */128 17.4 布尔代数 * 计算机学院 */128