离散数学导论盘王元元张桂芸第十二章演示文稿.pptVIP

第十二章 格与布尔代数 12.2 布尔代数 ?12.2.3 布尔代数的表示定理 定义12.14 布尔代数中盖着元素0的元素称为该布尔 代数的原子（atoms）． 定理 12.22 元素 a是布尔代数 B，∨，∧，’，0，1 的原子，当且仅当a ? 0且对B中任何元素x x∧a = a 或 x∧ a = 0 （12－ 12） 第十二章 格与布尔代数 12.2 布尔代数 ?12.2.3 布尔代数的表示定理 定理12.23 设a是布尔代数 B，∨，∧，’，0，1 的原子，x为B中任一元素，那么a≤x或a≤x’， 但不兼而有之。 定理12.24 设 B，∨，∧，’，0，1为一有限布尔代数，那么对于B中任一非零元 素x，恒有一原子a?B,使a≤x 。 第十二章 格与布尔代数 12.2 布尔代数 ?12.2.3 布尔代数的表示定理 定理12.25 设a1，a2为布尔代数 B，∨，∧，’，0，1中任意 两个不相同的原子，那麽a1∧a2 = 0． 第十二章 格与布尔代数 12.2 布尔代数 ?12.2.3 布尔代数的表示定理 定理12.26 设 B，∨，∧，’，0，1为有限 布尔代数，x为B中任一非零元素， a1，a2，…, ak为满足ai≤x（i = 1,2,…,k） 的所有原子，那么 x = a1∨a2∨…∨ ak（x的原子表示） 第十二章 格与布尔代数 12.2 布尔代数 ?12.2.3 布尔代数的表示定理 定理12.27 定理12.26 中 非零元素X的原子表示形式 x = a1∨a2∨…∨ ak 是唯一的。 第十二章 格与布尔代数 12.2 布尔代数 ?12.2.3 布尔代数的表示定理 定理12.28 设 B，∨，∧，’，0，1 为有限布尔代数，A( ? B)为B中所有原 子的集合，那么B同构于布尔代数 ρ(A)，∪, ∩, ˉ, ? , A 。 第十二章 格与布尔代数 12.2 布尔代数 12.2.4 布尔表达式与布尔函数 定义12.15 设 B，∨，∧，’，0，1为布尔代数，如下 递归地定义B上布尔表达式（Boolean expressions）： （1）布尔常元和布尔变元（取值于B的常元和变元） 是布尔表达式．布尔常元常用a,b，c等符号 表示，布尔变元常用x，y，z等符号表示． （2）如果e,e1,e2为布尔表达式，那么 (e’),(e1∨e2),(e1∧e2)也是布尔表达式． （3）除有限次使用条款（l），（2）生成的表达式 是布尔表达式外，没有别的是布尔表达式． 第十二章 格与布尔代数 12.2 布尔代数 12.2.4 布尔表达式与布尔函数 定义12.16 布尔表达式f(x1,x2,…,xn) 所定义的函数f:B→B称为布尔函数 （Booleanl functions）． 第十二章 格与布尔代数 12.2 布尔代数 12.2.4 布尔表达式与布尔函数 定义12.17 布尔表达式 ?1∧?2∧…∧?n 称为n个变元的极小项，其中?i为变元 xi或xi’,而表达式 ?1∨?2∨…∨?n 称为 n个变元的极大项，其中 ?i为变元xi或xi’. 第十二章 格与布尔代数 12.2 布尔代数 12.2.4 布尔表达式与布尔函数 定义12.18 布尔表达式f(x1 ,x2 ,…,xn)的主析取范式 和主合取范式分别指下列布尔表达式： (a0∧m0)∨(a1∧m1)∨…∨(ae(n)∧me(n)) （12－13） (a0∨m0)∧(a1∨m1)∧…∧(ae(n)∨me(n)) （12－14） 其中ai为布尔常元，mi 与Mi分别是极小项与 极大项，且两式对x1 ,x2 ,…,xn一切的取值可 能均与f(x1 ,x2 ,…,xn)等值． 在线教务辅导网： 更多课程配套课件资源请访问在线教务辅导网 尚辅网 / 第十二章 格 与 布 尔 代 数 12.1 格 12.2 布尔代数 第十二章 格与布尔代数 12.1.