格与布尔代数讲义.ppt

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
(1). 如果|E|=1 则 E=a (a∈B) ,或者 E=xj, (xj是个变量) 如果E=a 则E(xi=0)=E(xi=1)=a * 所以|E|=1时, 结论成立. E=a=(xi?xi)?a=(xi ?a)?(xi ?a) 分配律 = (xi ?E(xi=0))?(xi ?E(xi=1)) 替换 如果E= xj, 若 xj=xi ,显然 E(xi=0)=0,E(xi=1)=1 , E= xj=xi=(xi?0)?(xi ?1) = (xi ?E(xi=0))?(xi ?E(xi=1)) 替换 若 xj ?xi, 则 E(xi=0)=E(xi=1)= xj , E= xj=(xi?xi)?xj=(xi?xj)?(xi?xj) = (xi ?E(xi=0))?(xi ?E(xi=1)) 替换 (2).假设|E|≤n 时, 结论成立. 即 * (3).当|E|=n+1时, 分下面三种情况讨论: ① 如果E=E1∨E2 则|E1|≤n, |E2|≤n , 由(2)假设得, ②如果E=E1∧E2 则|E1|≤n, |E2|≤n , 由(2)假设得, * ③如果 * 定理得证. 通过反复应用此定理, 就可以将E(x1,x2,…xn)写析取范 式形式. * * xn ˉ x1 ˉ x2 ˉ xn ˉ x1 ˉ x2 ˉ xn-1 ˉ 进而得到 E(x1,x2,…xn)的合取范式为: E(x1,x2,…xn) =(x1∨x2∨...∨xn∨E(0,0,…,0))∧ (x1∨x2∨...∨xn-1∨ ∨E(0,0,…0,1))∧... ∧ ( ∨ ∨...∨ ∨xn∨E(1,1,…,1,0))∧ ( ∨ ∨...∨ ∨E(1,1,…,1)) 其中 E(0,0…,0), E(0,0,…0,1) ,…, E(1,1,…1,0) 和 E(1,1,…,1) 就是所谓的“系数”. 实际上, 求E(x1,x2,…xn)的析取或者合取范式时, 就是求 这些“系数”. 下面看一个例子. 3) 合取范式:类似地,先用归纳法证明: xi ˉ E(x1,x2,…xn)=(xi ∨E(xi=0)) ∧ ( ∨ E(xi=1)) 例.已知B, ∨,∧ ,ˉ是布尔代数, 其中B={0,a,b,1} 分别求出下面布尔表达式的析取范式和合取范式. * ? 0 ?1 a? ? b 解. 先求四个系数: 析取范式为: 合取范式为: * 本节重点掌握内容: 布尔表达式定义、析取范式和合取范式的写法。 作业:P269 (1) 本章内容小结: 1. 格的概念、格的性质. 格的同构. 2. 分配格的性质、判断. 有界格 有补格 布尔格概念性质. 3. 布尔代数的性质, Stone定理的应用. 4. 布尔表达式定义,范式的写法. * 下面上第七章的习题课 * 习题课 P242 (1). 下面图哪些是格? * 1? d? a? b? ? c e? f? g? ? h i? ? j ? k 5? 2? ? 4 ? 6 l? m? ? n o? ? q ? r ? p ? 3 ? 8 ? 7 (a) (b) (c) (d) ? j ? k ? f g? ? h (a)不是格 因为d和e没有下确界,也没有上确界. (d)不是格5和6没有下确界,7和8既没下确界,也没上确界. 进一步问,如果是格,哪些是分配格?哪些是有补格? (b)不是分配格,因去掉结点i后的子格如图所示 但它是有补格. (c)不是分配格(去m,p),不是有补格. (2). 设≤是L上的整除关系,下面偏序集中,哪些是格? a) L={1,2,3,4,6,12}, b) L={1,2,3,4,6,8,12,14} c) L={1,2,3,4,5,6,7,8,9,10,11,12} 解. 画出Hasse图如下: * ? 12 4? ? 6 2? ? 3 ? 1 8? 4? ? 12 5? ? 3 ? 1 ? 6 ? 7 8? 14 ? ? 2 ? 11 10 ? ? 9 2? 12? 4? ? 6 1? ? 3 (a) (b) (c) 可见只有(a)是格. (4).设A, ≤是一个格,任取a,b∈A,ab (即a≤b∧a≠b), 构造集合: B={x| x∈A且a≤x≤b}, 则B, ≤也是格. 证明:显然B是A的非空子

文档评论(0)

benzei244572 + 关注
实名认证
内容提供者

建筑工程师持证人

没啥好说的额

领域认证该用户于2024年10月16日上传了建筑工程师

1亿VIP精品文档

相关文档