格及布尔代数课件.pptVIP

  1. 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
  2. 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载
  3. 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
  4. 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
  5. 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们
  6. 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
  7. 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第五章 格与布尔代数 ? 本章在了解了代数系统一般概念的基础上,着重介绍的包含有两个代数运算的代数系统:格和布尔代数。主要讨论这些代数系统的相关基本概念和性质 主要内容如下: 5.1 格; 5.2 分配格和有补格; 5.3 布尔代数 ; 一、 格 1.格的定义 定义5-1 设L;≤是一个偏序集,如果L中任意两个元素都存在着最大下界和最小上界,则称L;≤是格。;例1 试判断下列次序图给出的偏序集哪些是格?;在格<L;≤中有如下四个关系式成立:; 2.格的性质 定理5-1 在格L;≤中,对于任意 以下三式中若任意一式成立,那么其它两式也成立.;② = ③ 设 ; 定义5-2 设L;≤是格,P是包含格的元素和符号=、≤、≥,∧ ,∨的命题,将P中的≤、≥,∧和∨分别替换成≥、 ≤、 ∨和∧所得的命题PD称为P的对偶。;定理5-2(交换律) 设L;≤是格,则对任意的 有: ;定理5-3 (结合律) 设L;≤是格,则对任意的 ,有;定理5-4 (吸收律) 设<L;≤>是格,则对任意 ,有 ; 定理5-5 (等幂律) 设<L;≤>是格,则对任意 ,有 ; 定理5-6 (格的保序性) 设<L;≤>是格,则对于任意 ,有; 例2 设 L = ,L上的整除关系 与L构成一个格,记作L;≤, ; 定理5-7 设L;≤是格,则对任意 ,有; 3.格的另一种定义方式 定理5-8 设L;∨,∧ 是一个代数系统,其中∨和∧都是二元运算,满足交换律,结合律和吸收律,则在L上必存在一偏序关系,使得L ; ≤ 是一个格。; 格既可以看作是一个偏序集L;≤ ,也可以看作是一个代数系统L; , 。; 例3 在全集合 U 的幂集 2U = 上的包含关系“ ”是 2U 上的一偏序关系。 ;因此Si∪Sj是Si和Sj的上界。 ; 例4 设U={a,b,c} 则2U={φ,{a},{b},{c},{a,b},{a,c},{b,c},{a,b,c}};令 S1={{b},{a,b}{b,c},{a,b,c}} S2={φ,{a},{ c},{a, c}} S3={φ,{a},{c},{a,b},{a,c},{b,c},{a,b,c}};2 6;3 4;下面给出的三个次序图,其中哪些是格?在图 下方相应的括号内键入“y”或“N”表示肯定或否定。;Y Y; 定义5-5 设L; , 是一个格,若对于任意的 1, 2, 3 ∈ L,有 则称 L ; , 是分配格。; 例1 对任意的集合A,2A ;∪,∩是一个分配格, ; 2. 分配格的判别; 例如 设 L ={1,2,4,16,32,64}, 定义在L上的整除关系≤与L构成一个链L;≤。 ; 例3 每一个链L; ≤都是一个分配格。;(2) 证明 L; , 是一个分配格; 3.分配格的性质 定理5-14 设 1, 2, 3是分配格L; , 中的任意三个元素, 那么 当且仅当; 对于非分配格,定理5-23不成立。 ;二 有补格 1.最小元素0和最大元素1;具有最小元素和最大元素的格称为有界格。; 2.补元素 定义5-6 设L; , 是一个有界格, L,若存在元素 L,使得 =1 = 0,则称 是 的补元素。 ; 因为对任意S∈2U, 所以S的补集 是S的补元素。 ; (a)是分配格,但不是有补格, ; 有补分配格有如下一些性质: 定理5-15 在有补分配格L; , 中,任一元素的补元素是唯一的。; 定理5-16 (对合律) 在有补分配格L; , 中,对每一个 , 有 。; 定理5-17 (德·摩根定律) 在有补分配格 L

文档评论(0)

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

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

1亿VIP精品文档

相关文档