格与布尔代数课件2.ppt
- 【下载声明】
1. 本站全部试题类文档,若标题没写含答案,则无答案;标题注明含答案的文档,主观题也可能无答案。请谨慎下单,一旦售出,不予退换。
2. 本站全部PPT文档均不含视频和音频,PPT中出现的音频或视频标识(或文字)仅表示流程,实际无音频或视频文件。请谨慎下单,一旦售出,不予退换。
3. 本页资料《格与布尔代数课件2.ppt》由用户(三亚风情)主动上传,其收益全归该用户。163文库仅提供信息存储空间,仅对该用户上传内容的表现方式做保护处理,对上传内容本身不做任何修改或编辑。 若此文所含内容侵犯了您的版权或隐私,请立即通知163文库(点击联系客服),我们立即给予删除!
4. 请根据预览情况,自愿下载本文。本站不保证下载资源的准确性、安全性和完整性, 同时也不承担用户因使用这些下载资源对自己和他人造成任何形式的伤害或损失。
5. 本站所有资源如无特殊说明,都需要本地电脑安装OFFICE2007及以上版本和PDF阅读器,压缩文件请下载最新的WinRAR软件解压。
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 布尔 代数 课件
- 资源描述:
-
1、第六章第六章 格与布尔代数格与布尔代数1 1、格的基本概念、格的基本概念2 2、分配格、分配格3 3、有补格、有补格非本次期末考试内容非本次期末考试内容4 4、布尔代数、布尔代数5 5、布尔表达式、布尔表达式第1页,共28页。1 1 格的基本概念格的基本概念 图、三个偏序集哈斯图图、三个偏序集哈斯图1262324361246231123定义定义1 1:设:设是一个偏序集,若是一个偏序集,若A A中任意两个中任意两个 元素都有元素都有最大下界最大下界和和最小上界最小上界,则称,则称 为格。为格。格格格格不是格不是格第2页,共28页。例:判断例:判断I,D、P(S),、S,D 是否是格。是否是格。
2、其中其中:I:I+是正整数,是正整数,D D是整除关系,是整除关系,S Sn n =n=n的所有因子的所有因子 如:如:S S6 6=1,2,3,6=1,2,3,6、S S8 8=1,2,4,8=1,2,4,8、S S1212=1,2,3,4,6,12=1,2,3,4,6,12、S S3030=1,2,3,5,6,10,15,30=1,2,3,5,6,10,15,30解:解:是格是格 整除关系是偏序关系,对整除关系是偏序关系,对 a,b I,a、b的最小上界等于的最小上界等于a、b的最小公倍数,的最小公倍数,a、b的最大上界等于的最大上界等于a、b的最大公约数。的最大公约数。第3页,共28页。
3、是格是格 子集关系是偏序关系,对子集关系是偏序关系,对 a,b P(S),a、b的最小上界等于的最小上界等于ab,a、b的最大上界等于的最大上界等于ab。是格,偏序关系的哈斯图如下:是格,偏序关系的哈斯图如下:12368421312641212351563010=,第4页,共28页。45312671234576这两个图是偏序关系,但不是格。这两个图是偏序关系,但不是格。第5页,共28页。定义定义2 2:格代数:格代数设设是一个格,若在是一个格,若在A A上定义两个二元运算上定义两个二元运算和和,使得对于使得对于 a,ba,b A,A,abab等于等于a a和和b b的最小上界的最小上界,ab,
4、ab等于等于a a和和b b的最大下界的最大下界,则称则称为由格为由格所诱导的代数系统。所诱导的代数系统。二元运算二元运算和和分别称为分别称为并运算并运算和和交运算交运算。显然,显然,所诱导的代数系统为所诱导的代数系统为 第6页,共28页。1 2 3 6 1 2 3 6 1 1 2 3 6 1 1 1 1 1 2 2 2 6 6 2 1 2 1 2 3 3 6 3 6 3 1 1 3 3 6 6 6 6 6 6 1 2 3 6S6=1,2,3,6,则,则是一个格是一个格1236下面的运算表表示的系统下面的运算表表示的系统就是由格就是由格所所诱导诱导的代数系统的代数系统第7页,共28页。定义定义
5、3 3:设:设是一个格,由格是一个格,由格所诱导的所诱导的代数系统为代数系统为。设。设B B A A且且B B ,如果运算,如果运算和和在在B B上封闭上封闭,则称,则称 是是的的子格子格。注:注:(1)可以证明子格必是格(证明略)可以证明子格必是格(证明略)(2)不能理解为:不能理解为:B A且且 是格,则是格,则 是是 的子格。应特别注意条件的子格。应特别注意条件:“运算运算和和在在B B上封闭上封闭”。(3)对于格对于格,B A且且B,则,则 一定是一定是 偏序集,但不一定是格。偏序集,但不一定是格。第8页,共28页。例:例:B1=1,2,3,6,B2=5,10,15,30,和和都是都是
6、 的子格。的子格。1 2 3 6 1 2 3 6 1 1 2 3 6 1 1 1 1 1 2 2 2 6 6 2 1 2 1 2 3 3 6 3 6 3 1 1 3 3 6 6 6 6 6 6 1 2 3 6可见运算可见运算和和在在B1上封闭,上封闭,B1 S30 且且B1 是是 的子格,同理可证的子格,同理可证是是 的子格的子格2315156301012365153010第9页,共28页。2315163010例:例:B3=1,2,3,6,10,15,30,显然,显然 是格。是格。但但1015=5 B3,即,即运算在运算在B3上不封闭,上不封闭,不是不是 的子格。的子格。23151563010
7、例:例:B4=2,3,6,则,则 是偏序集,是偏序集,不是格,更不是不是格,更不是的子格。的子格。236第10页,共28页。对偶原理:对偶原理:设设P P是对任意格都为真的命题,如果在命题是对任意格都为真的命题,如果在命题P P中中把把换成换成,换成换成,换成换成,就得到另一个命题就得到另一个命题PP,把,把PP称为称为P P的的对偶命题对偶命题。则则PP对任意格也是真命题。(其中对任意格也是真命题。(其中“”是是“”的逆关系)的逆关系)若若是格,可证明是格,可证明也是一个格,也是一个格,且它们的哈斯图是上下颠倒的。且它们的哈斯图是上下颠倒的。2315156301030101562351的逆关
8、系的逆关系在在中任何两个元素的中任何两个元素的的结果值必然等于的结果值必然等于这两个元素在这两个元素在中中的结果值;的结果值;任何两个元素的任何两个元素的的结果值必然等于这两个元素在的结果值必然等于这两个元素在中中的结果值;反之亦然。的结果值;反之亦然。第11页,共28页。格的基本性质:格的基本性质:(除自反性、反对称性和传递性之外除自反性、反对称性和传递性之外)设设格,对格,对A A中的任意元素中的任意元素 a,b,ca,b,c,有:,有:(1)aab(1)aab、babbab、abaaba、abbabb(2)(2)如果如果abab且且cdcd,则,则acbdacbd,acbdacbd(3)
9、(3)若若bcbc,则,则 a a A A,有,有abacabac,abacabac (保序性)(保序性)(4)(4)交换律:交换律:ab=baab=ba、ab=baab=ba 结合律:结合律:a(bc)=(ab)ca(bc)=(ab)c、a(bc)=(ab)ca(bc)=(ab)c 幂等律:幂等律:aa=aaa=a、aa=aaa=a 吸收律:吸收律:a(ab)=aa(ab)=a、a(ab)=aa(ab)=a第12页,共28页。(5)ab (5)ab ab=a ab=a ab=b ab=b(6)(6)分配不等式:分配不等式:a(bc)(ab)(ac)a(bc)(ab)(ac)、(ab)(ac)
10、a(bc)(ab)(ac)a(bc)格的基本性质:格的基本性质:(除自反性、反对称性和传递性之外除自反性、反对称性和传递性之外)第13页,共28页。(1)aab(1)aab、babbab、abaaba、abbabb证明:证明:ab是是a和和b的的最小上界最小上界 aab、bab,由由对偶原理对偶原理,有,有aba、abb(2)(2)如果如果abab且且cdcd,则,则acbdacbd,acbdacbd证明:证明:ab,由,由(1)得得bbd,由传递性得:,由传递性得:abd cd,由,由(1)得得dbd,由传递性得:,由传递性得:cbd bd是是a和和c的一个上界,而的一个上界,而ac是是a和
11、和c的最小上界,的最小上界,acbd 同理可证:同理可证:acbd第14页,共28页。(3)(3)若若bcbc,则,则 a a A A,有,有abacabac,abacabac证明证明:bc,aa,由性质,由性质(2)得:得:abac,abac(4)(4)交换律:交换律:ab=baab=ba、ab=baab=ba 结合律:结合律:a(bc)=(ab)ca(bc)=(ab)c、a(bc)=(ab)ca(bc)=(ab)c 幂等律:幂等律:aa=aaa=a、aa=aaa=a 吸收律:吸收律:a(ab)=aa(ab)=a、a(ab)=aa(ab)=a证明:幂等律证明:幂等律 aa,a是是a的上界,而
展开阅读全文