ch布尔代数.pptVIP

  1. 1、本文档共50页,可阅读全部内容。
  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文档。上传文档
查看更多
ch布尔代数

第9章 布尔代数 Boolean Algebra 主要内容 1 格 请回忆:偏序结构 偏序集、哈斯图 上界、最小上界 下界、最大下界 最大下界、最小上界若存在,则惟一? 1 格 1 格 格的定义 设A;≤是一个偏序集, 如果A中任意两个元素均有最小上界和最大下界, 那么就说A关于偏序“≤”作成一个格(Lattice), 有时直接称A为格。 当一个格A中的元素是有限时, 称格A是个有限格。 对于一个有限格A;≤来说, A中的偏序关系可以通过偏序集A的哈斯图表示, 这个图也称为格A的次序图。 1 格? 1 格 1 格 例4 设S是任意集合,?(S)是幂集,偏序集合S, ?是格,其中?A,B??(S),A?B=A∩B, A?B=A∪B. S={a,b} S={1,2,3} 1 格 注意到, 如果偏序集S;≤是格, 则任意两个元素a、b在格内存在唯一的最小上界和最大下界。于是, 求最小上界和最大下界是格S;≤中的两个二元运算。 这两个运算可分别用符号“?”、“?”表示。即在格S;≤中, 任意a, b∈S, lub(a,b)=a?b, glb(a,b)=a?b。 1 格 1) 集合S的偏序关系≤的逆关系≥也是偏序关系,若A?S,其中≤的glb(A)对应于≥的lub(A),≤的lub(A)对应于≥的glb(A),所以,若S,≤是格,则S, ≥也是格,称这两个格互为对偶。 1 格 2) 因为S,≤的?是S,≥的?,S,≤的?是S,≥ 的?,所以,关于格的一般性质的任意命题,如用≥替换≤,用?替换?,用?替换?,格的一般性质的任意命题仍成立,这称为格的对偶原理。 1 格 格的基本性质 1)自反性 a≤a 对偶: a≥a 2)反对称性 a≤b 且 a≥b ? a=b 对偶:a≥b 且 a≤b ? a=b 3)传递性 a≤b 且 b≤c ? a≤c 对偶:a≥b 且 b≥c ? a≥c 1 格 1 格 格的基本性质 6) 结合律 a?(b?c)=(a?b)?c 对偶 a?(b?c)=(a?b)?c 证: 令R=a?(b?c), R’=(a?b)?c 则由4 R≤a, R≤b?c ? R≤a, R≤b, R≤c ? R≤a?b, R≤c ? R≤(a?b)?c ? R≤R’ 同理可证:R≥R’ 所以 R=R’ 1 格 格的基本性质 7)等幂律 a?a=a 对偶 a?a=a 8)吸收律 a?(a?b)=a 对偶 a?(a?b)=a 证: 因为a≤a?b, a≤a 所以 a≤a?(a?b) 又 a≥a?(a?b) 所以a= a?(a?b) 1 格 1 格 1 格 1 格 2 格是代数结构 可将代数结构的有关概念应用于格 2 格是代数结构 偏序集(格):代数结构? 代数结构:偏序集(格)? 设L; ?,?是个代数结构,?,?是L上二个二元运算,若二元运算?,?均满足 结合律 交换律 吸收律( a?(a?b)=a, a?(a?b)=a ) 等幂律(a?a=a,a?a=a), 则称L;?,?是格。 2 格是代数结构 偏序集合的格、代数结构的格等价 若L;?,?是一个格(代数结构),那么,L中存在一偏序关系≤,使?a,b?L ,有 lub(a,b)=a?b, glb(a,b)=a?b. 2 格是代数结构 如何定义偏序关系? 在集合L上定义二元关系≤如下: ?a,b?L,若a≤b ? a?b=a (或:?a,b?L,若a≤b ? a?b=b) 如何证明? 1) ‘≤’是L上的偏序关系? 2)?a,b?L, {a,b}的最大下界存在, 且glb(a,b)=a?b。 3)?a,b?L, {a,b}的最小上界存在, 且lub(a,b)=a?b 2 格是代数结构 1) 证明’≤’是L上的偏序关系 自反性: ?a?L,由等幂律a?a=a,有a≤a 反对称性: ?a,b?L, 若a≤b, b≤a,即a?b=a,b?a=b, 于是由交换律,有a=a?b=b?a=b 传递性: ?a,b,c?L,若a≤b,b≤c,即a?b=a, b?c=b 于是,由a?c=(a?b)?c = a?(b?c)= a?b=a 得a≤c 2 格是代数结构 2)证明 ?a,b?L,{a,b}的最大下界存在,且glb(a,b)=a?b i)?下界存在,其一为a?b: 由(a?b)?a=(a?a)?b

文档评论(0)

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

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

1亿VIP精品文档

相关文档