- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 7、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
§3 布尔格与布尔代数 一、布尔代数 定义16.10:有补分配格称为布尔(Boole)格, 习惯上写成(B;≤)。 有补格:有界(有最大元1和最小元0),且每个元素有补元 b是a的补元:a?b=1,a?b=0 在线教务辅导网: 教材其余课件及动画素材请查阅在线教务辅导网 QQ:349134187 或者直接输入下面地址: 定理17.10:布尔格(B;≤)中任a,b?B,有: (1)a的补元是唯一的。 (2)(a?b)=a?b,(a?b)=a?b。 (3)a?b=0?a≤b。 (4)(a)=a 证明:(1)设a1,a2为a的补元,则有a1?a=1, a1?a=0,a2?a=1, a2?a=0, 目标是a1=a2 (2)要证(a?b)=a?b,即证 (a?b)? (a?b)?=?1, (a?b)?(a?b)?=?0 (3)由a?b=0,证明a≤b, 关键是如何由a?b=0引出a与b的联系. 注意到定理17.1(2):a≤b当且仅当a?b=a; 因此可考虑由a?b=0,导出a?b=a 由a≤b,证明a?b=0, 利用保序性 由(B;≤)定义了?,?运算,而a的补元a也是B中的元素,且分配格补元唯一 看作为B上的一元运算。 [B;?,?,]为代数系统,又称为布尔代数。 布尔代数[B;?,?,]是有补分配格,具有性质L1~L4, 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。 分配格,满足分配等式D1~D2, D1:a?(b?c)=(a?b)?(a?c);(a?b)?(a?c)=a?(b?c) D2:(a?b)?(a?c)?(b?c)=(a?b)?(a?c)?(b?c) 有补格:一定是有界格,每个元素有补元,满足B1、B2和C1~C3, B1:a?1=1;a?0=0 B2:a?1=a;a?0=a C1:a?a=1,a?a=0 C2:0=1 C3:(a?b)=a?b,(a?b)=a?b’ ?和?定义即为P1,并可得到P2~P3, P1:a?b是a和b的最小上界,a?b是a和b的最大下界 P2:a≤b当且仅当a?b=a P3:a?b=0?a≤b’ 上述性质并不是相互独立的,可以从其中几个推出另外几个性质 定理16.11:B至少包含两个元素,?和?为B上的两个二元运算,为B上的一元运算,若对任何a,b,c?B满足: (H1)a?b=b?a,a?b=b?a。 (H2)a?(b?c)=(a?b)?(a?c);(a?b)?(a?c)=a?(b?c) (H3)在B中存在零元0,使a?0=a,a?0=0,存在单位元1,使a?1=a,a?1=1。 (H4)a?B,使a?a=0,a?a=1。 则[B;?,?,]为布尔代数。 [B; ?,?,]为代数系统,?,?,为定义在B上的二元运算,’为定义在B上的一元运算, 满足条件(H1)~(H4),则称B为布尔代数。 二、布尔环 定义:在布尔代数[B;?,?,]中,定义B上的二元运算+及·如下:任a,b?B a+b=(a?b)?(a?b),a·b=a?b 容易验证在一般的布尔代数[B;?,?,]上定义的[B;+,·]是可交换的有单位元环。我们称这样的环为布尔环 定义16.12:[B;?,?,]为布尔代数,如上定义+,·,则有[B;+,·]为环,称此环为布尔环。 定理16.12:[B;+,·]为布尔环,则对任a?B,a2=a,且2a=0。 引理:设[A;+,·]为环,若对任a?A,a2=a,则必有2a=0。 给定的有单位元1的环[B;+,·],若它的每个元素都是幂等元,且定义任a,b?B,a=1-a, a?b=a+b-a·b,a?b=a·b,可以得到一个代数系统[B;?,?,],可以验证它满足H1~H4,因此所定义的代数系统[B;?,?,]是布尔代数。 定义16.13:一个带单位元的环, 如果它的每个元素都是幂等的, 则称该环为布尔环 由布尔格可以定义一个布尔代数,并进一步定义一个布尔环。 由布尔环可以定义一个布尔代数,并进一步定义一个布尔格。 作业P220: 24,25,26,27,28 * * * * * * * * * * * * * * * * * * * * * * * * * *
您可能关注的文档
- 汽车服务与营销英语教学课件 作者 黄星 王宏 服务英语.ppt
- 汽车工程制图 作者 魏文杲 项目八.ppt
- 汽车工程制图 作者 魏文杲 项目二.ppt
- 汽车工程制图 作者 魏文杲 项目二1.ppt
- 汽车工程制图 作者 魏文杲 项目九1.ppt
- 汽车工程制图 作者 魏文杲 项目六.ppt
- 汽车工程制图 作者 魏文杲 项目六1.ppt
- 汽车工程制图 作者 魏文杲 项目三.ppt
- 汽车工程制图 作者 魏文杲 项目三1.ppt
- 汽车工程制图 作者 魏文杲 项目十.ppt
- 离散数学 作者 赵一鸣 阚海斌 吴永辉 dshu20n.ppt
- 离散数学 作者 赵一鸣 阚海斌 吴永辉 dshu22n.ppt
- 离散数学 作者 赵一鸣 阚海斌 吴永辉 dshu23.ppt
- 离散数学 作者 赵一鸣 阚海斌 吴永辉 dshu25.ppt
- 离散数学 作者 赵一鸣 阚海斌 吴永辉 dshu26n.ppt
- 理财学 第二版 课件 边智群_ 第八章 公司营运资本管理.ppt
- 理财学 第二版 课件 边智群_ 第九章 公司重组.ppt
- 理财学 第二版 课件 边智群_ 第三章 理财计量基础.ppt
- 理财学 第二版 课件 边智群_ 第十二章 个人理财活动.ppt
- 理财学 第二版 课件 边智群_ 第十一章 个人家庭财务管理.ppt
文档评论(0)