网站大量收购闲置独家精品文档,联系QQ:2885784924

6-4 布尔代数课件.ppt

  1. 1、本文档共28页,可阅读全部内容。
  2. 2、有哪些信誉好的足球投注网站(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
6-4 布尔代数课件

6-4 布尔代数   以上我们学习了一些特殊的格:分配格、有界格、有补格,那么既是分配格又是有补格的格就是我们接下来要学习的布尔格,由其诱导的代数系统称为布尔代数。;;   前面我们证明了 ?P (A), R??是格,其中 A=?a,b?。?P (A),∪,∩?是?P (A), R??导出的代数系统,其中∪和∩是集合并运算和交运算。以后又进一步说明了  ?P (A),∪,∩?是分配格和有界格,?是全下界、A是全上界。从而?P(A),∪,∩?是有界分配格。令A为全集,  ?T?P (A),T的补集~T=A–T?P (A),满足T∪~T= A和T∩~T=?,所以T的补元T′=~T。根据定义6-4.2 ,  ?P (A),∪,∩, ~?是布尔代数。    可以证明,当A为任意集合时,?P (A),∪,∩, ~?也是布尔代数。称为集合代数。集合代数是布尔代数的一个具体模型。; 二、布尔代数的性质   布尔代数一定是格。根据定理,布尔代数中的两个二元运算满足交换律、结合律、幂等律和吸收律。此外,布尔代数还有下面的性质: 定理6-4.1 设?X,∨,∧, ′?为布尔代数,?a,b?X,必有 ⑴ (a′)′=a ⑵ (a∨b)′= a′∧b′ ⑶ (a∧b)′= a′∨b′ 证明:⑴ a′是a的补元,a也是a′的补元,由布尔代数中补元的惟一性有(a′)′=a; ⑵(a∨b)∨(a′∧b′)=((a∨b)∨a′)∧((a∨b)∨b′) =(b∨(a∨a′))∧(a∨(b∨b′)) =(b∨1)∧(a∨1)=1∧1=1 (a∨b)∧(a′∧b′)=(a∧(a′∧b′))∨(b∧(a′∧b′)) =((a∧a′)∧b′)∨((b∧b′)∧a′) =(0∧b′)∨(0∧a′)=0∨0=0 所以 (a∨b)′= a′∧b′ ⑶ 同理可证 (a∧b)′= a′∨b′ 定理6-4.1中的⑴称为双重否定律,⑵和⑶称为德摩根律。布尔代数满足双重否定律和德摩根律。; 定理6.2.2 设?X,*,°,′?是代数系统,其中*和°都是二元运算,′是一元运算。?X,*,°,′?是布尔代数的充分必要条件是: ⑴ *和°在X上封闭且满足交换律。 ⑵ *和°满足分配律(满足*对°的分配律和°对*的分配律)。 ⑶ X中存在运算*的幺元和运算°的幺元。设运算*的幺元为0,运算°的幺元为1。即?a?X,有a*0=a,a°1=a ⑷ ?a?X,?a′?X,使得a*a′=1,a°a′=0 由于篇幅的限制,证明从略。 定理6.2.2给出的四个条件可以作为布尔代数的等价定义。 布尔代数?X,*,°,′?也可以表示成为?X,*,°,′,0,1?,其中0是运算*的幺元,1是运算°的幺元。; 【例8.9】设P是所有命题构成的集合,∨,∧和?分别是命题的析取、合取和否定联结词。证明代数系统?P,∨,∧, ??是布尔代数。 证明:根据第1章的内容,∨和∧在P上封闭且满足交换律、分配律。命题常元0(假)和1(真)是集合P的元素,满足?q?P,q∨0=q,q∧1=q。 ?q?P,?q?P,满足q∨?q=1,q∧?q=0。 根据定理8.2.2,?P,∨,∧, ??是布尔代数。 例8.9中的布尔代数?P,∧,∨, ??叫做命题代数,它是布尔代数的又一个模型。 ;三、布尔代数的同构 6.2.3布尔代数的子代数和同态 定义6.2.3 设 ?X,∨,∧,′, 0,1 ? 是布尔代数,B 是X的非空子集,若0,1?B且 ?B,∨,∧,′, 0,1 ? 也是布尔代数。则称?B,∨,∧,′, 0,1 ?是?X,∨,∧, ′, 0,1 ?子布尔代数。; 定理6.2.3 设?X,∨,∧,′,0,1?是布尔代数,B是X的非空子集,若0,1?B且运算∨,∧,′在B上封闭,则?B,∨,∧,′, 0,1 ?是?X,∨,∧,′, 0,1 ?子布尔代数 证明:⑴ ?a,b?B,因为 B?X,所以 a,b?X。又因为 ?X,∨,∧,′,

文档评论(0)

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

该用户很懒,什么也没介绍

1亿VIP精品文档

相关文档