大连理工Chapter(格与布尔代数)(--).pptVIP

  1. 1、本文档共25页,可阅读全部内容。
  2. 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
  3. 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  4. 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  5. 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  6. 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  7. 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  8. 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
大连理工Chapter(格与布尔代数)(--)

离散数学 (格与布尔代数) Discrete Mathematics 第六章 格与布尔代数 格和布尔代数在计算机科学中有广泛的应用,有限 自动机理论, 开关网络理论, 逻辑设计等领域都直接 地应用了格和布尔代数的结论。 6.1布尔代数的定义与性质 定义6.1.1 给定S,?,?,′,其中?和?是S上的二元运算,′是 S上的一元运算,0,1∈S。若对于任意 x, y, z∈S,下列定律: (1) x ? y = y ? x,x?y = y?x 交换律 (2) x?(y?z)=(x?y) ?(x?z),x?(y ?z)=(x?y)?(x?z) 分配律 (3) x ? 0 = x,x ? 1 = x 幺律 (4) x ? x′ = 1,x ? x′ = 0 互补律 (5)* x?(y?z)=(x?y)?z,x?(y?z)=(x?y)?z 结合律 则S,?, ? ,′ 称为布尔代数,?, ?和 ′ 分别称为并(或和)、 交(或积)和补运算,0和1分别称为?和?的零元和幺元。 6.1布尔代数的定义与性质 为了表示布尔代数具有两个特殊元素0和1,常常把 布尔代数表示为S,?, ? ,′ ,0,1。 值得注意的是,定律(5)即结合律是多余的,它可以 从其它定律推出,后面将指出这一事实。这里所以 把它列出, 是因为它是一个重要定律。 6.1布尔代数的定义与性质 例6.1.1 给定B,?, ? ,′,0,1,其中 B={0,1},?, ?和′的运算表6.1.1如下: 可以验证,B中元素满足五定律. 因此它是布尔代数。 6.1布尔代数的定义与性质 例6.1.2 给定P(X),∪,∩,ˉ,?,X,其中P(X) 是集合X的幂集,∪和∩是集合的并与交运算,ˉ是 补运算,其定义为:若A∈P(X), ?=X-A,即A的相对补。 则P(X),∪,∩,ˉ,?,X是布尔代数,通常称 为布尔集合代数。 当 X=?,此时零元与幺元是同一元素,这便是退化 布尔代数。 6.1布尔代数的定义与性质 由布尔代数的定义可知,分配律成立。利用归纳法 可以证明推广的分配律: a ?(bi)= (a?bi) a ?(bi)= (a?bi) 更一般地有: (ai)?( bj)= ( (ai?bj)) (ai)?(bj)= ( (ai?bj)) 6.1布尔代数的定义与性质 下面讨论布尔代数S, ?, ?, ′, 0, 1的零元。 对任意x,y∈S,若01,02为其零元,则 x?01= x, y?02= y, 特别令x = 02和y = 01得 02 ? 01 = 02 , 01 ? 02 = 01 , 根据交换律有 02 ? 01 = 01 ? 02 , 故01 = 02 ,即零元是惟一的。 6.1布尔代数的定义与性质 定理6.1.1 幺元“1”是惟一的。 定理6.1.2 若x∈S,则x的??补x′是惟一的。 6.1布尔代数的定义与性质 定理6.1.9(德·摩根律) 若x,y∈S,则(x?y)′= x′? y′ 和 (x?y)′ = x′?y′ 。 利用归纳法可证明推广形式的德摩根律. 6.1布尔代数的定义与性质 定理6.1.10(可约律) 若x,y,z∈S,则(x?y=x?z)∧(x?y=x?z)?y=z 定理6.1.11 若x,y,z∈S,则 (x?y)?(y?z) ?(z?x)=(x?y)?(y?z)?(z?x) 定理6.1.12 若x,y∈S, 则x?y = x?x?y = y。 6.2 格 定义6.2.1 给定布尔代数S,?, ? ,′ ,则集合 ≤:={x,y | x?y = x∧x,y∈S} 称为S上的偏序关系,并称S,≤为偏序集。 由定义不难得到:x≤y ? x?y = x 根据定理6.1.12可有x≤y ? x?y = y 6.2 格 若S是有限集,则S,≤可用偏序图哈氏(Hasse)图 方便地表示。用小园圈○代表S中的元素,若x≤y 且不存在z使x≤z≤y,则由x在底y在上连一线段。 例如,布尔集合代数P(X),∪,∩,ˉ,?,X可图示如下, 这里“≤” 是 ? 并且仅分别考虑 X= {a},{a,b}和 {a,b,c}的情形。 6.2 格 当X={a}时,

文档评论(0)

panguoxiang + 关注
实名认证
文档贡献者

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

1亿VIP精品文档

相关文档