- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
十二章节与布尔代数
第十二章 格与布尔代数 12.1 格定义的代数系统 12.2 格的代数定义 12.3 一些特殊的格 12.4 有限布尔代数的唯一性 12.5 布尔函数和布尔表达式 复习:偏序集、格 格是一个偏序集,在这个偏序集中,每两个元素有唯一一个最小上界和唯一一个最大下界。 格 例 由格定义的代数系统 设(A,?)是一个格,定义代数系统 (A,∨,∧), 其中∨和∧是A上的两个二元运算, 对于任意的a,b?A, a∨b等于a和b的最小上界, a∧b等于a和b的最大上界。 称(A,∨,∧)是由格(A,?)所定义的代数系统。 例 设2A是集合A的幂集,(2A,?)是一个格。 因此,它确定了一个对应的代数系统: (2A,∨,∧)。 对于任意的x,y?A,由定义知: x∨y=x∪y, x∧y=x∩y。 例 设Z+是正整数集,|是Z+上一个二元关系, (Z+,|)是一个格。 在格(Z+,|)所定义的代数系统: (Z+,∨,∧) 中,对于任意的m,n?Z+, m∨n=m和n的最小公倍数; m∧n=m和n的最大公约数。 定理1 对于格(A,?)中的任意元素a和b,有: a ? a∨b (12.1) a∧b ? a (12.2) 定理2 (A,?)是一个格,对于A中的任意的a、b、c和d, 如果 a ? b, 且 c ? d,则有: a∨c ? b∨d (12.3) a∧c ? b∧d (12.4) 定理3 设(A,?)是一个格, (A,∨,∧)是格(A,?)定义的代数系统,则对于任意的a,b,c?A,以下算律成立: L1: a∧a=a, a∨a=a; (幂等律) L2: a∧b=b∧a, a∨b=b∨a; (交换律) L3: (a∧b)∧c=a∧(b∧c) (a∨b)∨c=a∨(b∨c); (结合律) L4: a∧(a∨b)=a, a∨(a∧b)=a。 (吸收律) 第十二章 格与布尔代数 12.1 格定义的代数系统 12.2 格的代数定义 12.3 一些特殊的格 12.4 有限布尔代数的唯一性 12.5 布尔函数和布尔表达式 问题 设(A,∨,∧)是具有两个二元运算∨和∧的代数系统,并且∨和∧运算适合上节定理3中描述的四个算律L1、L2、L3与L4。 如何设法利用∨和∧运算在A中引入一个偏序关系?,使A关于这个偏序关系构成一个格? 问题(续) 问题: a∧b=a和a∨b=b是否同时成立? 代数系统定义的二元关系 定义: 在集合A上定义二元关系: 对于任意a,b?A,若 a∧b=a 成立(或a∨b=b成立) , 则定义a?b。 验证: 所定义的二元关系是偏序关系 自反性 反对称性 传递性 所以, ?是A上的偏序关系,(A,?)是一个偏序集。 验证: 所定义的偏序集是格 首先,证明对于任意的a,b?A,a∧b是a,b的最大下界。 可以证明a∨b是a,b的最小上界。 总之,由代数系统(A,∨,∧)定义的偏序集(A,?)是格。 格的等价定义 定义1:设(A,∨,∧)是一个代数系统,∨和∧是A上的两个封闭的二元运算,且满足算律: 对于任意的a,b,c?A, L1: a∧a=a, a∨a=a; (幂等律) L2: a∧b=b∧a, a∨b=b∨a; (交换律) L3: (a∧b)∧c=a∧(b∧c) (a∨b)∨c=a∨(b∨c); (结合律) L4: a∧(a∨b)=a, a∨(a∧b)=a。 (吸收律) 则说(A,∨,∧)是一个格。 例1 (Z+,∨,∧)= (Z+,|) Z+是正整数集,对于任意的a,b ? Z+,规定 a∧b=(a,b)(即a和b的最大公约数), a∨b=[a,b](即a和b的最小公倍数). a∨b和a∧b是Z+上的两个二元运算 可以证明: (Z+,∨,∧)是一个格, 且与格(Z+,|)是一致的。 第十二章 格与布尔代数 12.1 格定义的代数系统 12.2 格的代数定义 12.3 一些特殊的格 12.4 有限布尔代数的唯一性 1
文档评论(0)