第十二章格与布尔代数.ppt
《第十二章格与布尔代数.ppt》由会员分享,可在线阅读,更多相关《第十二章格与布尔代数.ppt(42页珍藏版)》请在三一办公上搜索。
1、第十二章 格与布尔代数,12.1 格定义的代数系统12.2 格的代数定义 12.3 一些特殊的格12.4 有限布尔代数的唯一性12.5 布尔函数和布尔表达式,复习:偏序集、格,格是一个偏序集,在这个偏序集中,每两个元素有唯一一个最小上界和唯一一个最大下界。,定义(见第85页定义1)设A是一个非空集合,R是A上的一个二元关系,若R有自反性、反对称性、传递性,说R是A上的一个偏序关系。并称(A,R)是一个偏序集。,注意:对于一个偏序关系,往往用记号“”来表示。若(a,b),记为a b,读做“a小于等于b”。一个偏序集,通常用符号(A,)来表示。,格,例 如图用哈斯图给出了一个有5个元的格。,定义(
2、见第86页定义2)A是一个非空集,(A,)是一个偏序集,若对于任意的元素a和b属于A,在A中存在a和b的最小上界及最大下界,就说(A,)是一个格。,例,右上图所示的偏序集(D(30),R)是格。(详见练习7.33),例 右下图所示的偏序集(1,2,3,4,)不是格。(详见第85页例1),由格定义的代数系统,设(A,)是一个格,定义代数系统(A,),其中和是A上的两个二元运算,对于任意的a,bA,ab等于a和b的最小上界,ab等于a和b的最大上界。称(A,)是由格(A,)所定义的代数系统。,注意:二元运算通常称为并运算,二元运算通常称为交运算,因此,a和b的最小上界,也称a和b的并;a和b的最大
3、下界,也称a和b的交。,例,设2A是集合A的幂集,(2A,)是一个格。因此,它确定了一个对应的代数系统:(2A,)。对于任意的x,yA,由定义知:xy=xy,xy=xy。,例,设Z+是正整数集,是Z+上一个二元关系,(Z+,)是一个格。在格(Z+,)所定义的代数系统:(Z+,)中,对于任意的m,nZ+,mn=m和n的最小公倍数;mn=m和n的最大公约数。,定理1,对于格(A,)中的任意元素a和b,有:a ab(12.1)ab a(12.2),定理2,(A,)是一个格,对于A中的任意的a、b、c和d,如果 a b,且 c d,则有:ac bd(12.3)ac bd(12.4),定理3,设(A,)
4、是一个格,(A,)是格(A,)定义的代数系统,则对于任意的a,b,cA,以下算律成立:L1:aa=a,aa=a;(幂等律)L2:ab=ba,ab=ba;(交换律)L3:(ab)c=a(bc)(ab)c=a(bc);(结合律)L4:a(ab)=a,a(ab)=a。(吸收律),第十二章 格与布尔代数,12.1 格定义的代数系统12.2 格的代数定义 12.3 一些特殊的格12.4 有限布尔代数的唯一性12.5 布尔函数和布尔表达式,问题,设(A,)是具有两个二元运算和的代数系统,并且和运算适合上节定理3中描述的四个算律L1、L2、L3与L4。如何设法利用和运算在A中引入一个偏序关系,使A关于这个偏
5、序关系构成一个格?,问题(续),问题:ab=a和ab=b是否同时成立?,代数系统定义的二元关系,定义:在集合A上定义二元关系:对于任意a,bA,若 ab=a 成立(或ab=b成立),则定义ab。,验证:所定义的二元关系是偏序关系,自反性反对称性传递性所以,是A上的偏序关系,(A,)是一个偏序集。,验证:所定义的偏序集是格,首先,证明对于任意的a,bA,ab是a,b的最大下界。可以证明ab是a,b的最小上界。总之,由代数系统(A,)定义的偏序集(A,)是格。,格的等价定义,定义1:设(A,)是一个代数系统,和是A上的两个封闭的二元运算,且满足算律:对于任意的a,b,cA,L1:aa=a,aa=a
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 第十二 布尔 代数
链接地址:https://www.31ppt.com/p-5327432.html