- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
 - 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
 - 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)