Chapt22 格与布尔代数.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文档。上传文档
查看更多
Chapt22 格与布尔代数

* 离散数学 * 有限布尔代数能由它的元素生成。 定理22.5.7 设?B,· ,+,-,0,1?是有限布尔代数,则布尔代数B必能由B中的某些元素生成。 证明:任取{b1,…,bn}?B,设由它们生成的布尔代数为?S,· ,+,-,0,1?。 若S=B,则定理得证。 若S?B,则必有bn+1∈B-S,设S(1)是由{b1,…,bn , bn+1}生成的布尔代数。 若S(1) =B,则定理得证。 若S(1)?B,则必有bn+2∈B-S(1),设S(2)是由{b1,…,bn , bn+1 , bn+2}生成的布尔代数。 重复上述过程,由于B有限,所以必有N存在,使得由{b1,…,bn , bn+1 , bn+2 ,bN }生成的布尔代数S(N) =B 。 * 本定理的充分性证明,采用了假言三段论的推理模式,即有a≤b推出(22.11)、 (22.10)、 (22.7)三式成立,又由定理的条件知(22.11)、 (22.10)、 (22.7)三式成立则(*)式成立,于是由a≤b得(*)式成立,而这正是模格的定义,因此, ?L, ≤?是模格。 * * 离散数学 * 布尔代数的例 例1 设B={0,1},B上的运算“·”、 “+”和“-”定义如下: · 0 1 + 0 1 x x 0 0 0 0 0 1 0 1 1 0 1 1 1 1 1 0 易证, ?B,· ,+,-,0,1?是布尔代数。这是最简单的一个布尔代数,常称为电路代数。 例2 设S是一个非空集合,则??(S),∩,∪,-, ? ,S?是一个布尔代数,对任意A∈?(S), A=S-A。称此代数为集合代数。 * 离散数学 * 布尔代数的例 例3 设P是命题公式的集合,不难证明, ?P, ∧,∨,?,F,T?是一个布尔代数,称为命题代数。 例4 令Bn={x1,…,xn|xi∈{0,1},i=1,…,n},对任意a,b∈Bn ,令a=a1,…,an,b=b1,…,bn,定义Bn上的运算如下: a ·b=a1·b1,…,an·bn a +b=a1+b1,…,an+bn a=a1,…,an 其中,0=1,1=0。不难证明,?Bn,· ,+,-,0,1?是一个布尔代数,其中, 0n=0,…,0∈Bn , 1n=1,…,1∈Bn 。此代数称为开关代数。 * 离散数学 * 子布尔代数 定义22.4.2 设?B,· ,+,-,0,1?是一个布尔代数,S?B,如果S包含元素0和1,并且对运算 · ,+,-是封闭的,则?S,· ,+,-,0,1?称为 ?B,· ,+,-,0,1?的子布尔代数。 定理22.4.2 设?B,· ,+,-,0,1?是布尔代数,S是B的非空子集,如果S对运算{· , -}或{+,-}是封闭的,则S是B的子布尔代数。 证明:设S对运算{· , -}封闭,由S≠?知,存在a∈S,于是a∈S。从而a ·a=0∈S,且0=1∈S。又任取a,b∈S,因为a+b=( a · b),所以a+b∈S,即S对 + 是封闭的,且包含0和1,故由定义知,S是B的子布尔代数。 同理可证,若S对{+,-}封闭,则S是B的子布尔代数。 * 离散数学 * 子布尔代数 由子布尔代数的定义知,子布尔代数本身构成一个布尔代数。 要注意的是,布尔代数B的子集S可以是布尔代数,但它可能不是B的子布尔代数,因为它对B中的运算可能不是封闭的。 例5 考虑如图所示的格 不难验证它是一个格。令S1={a,a,0,1},S2={a,b,0,1},S3={a,b,0,1}。则S1是子布尔代数,因为它对 {·,-}封闭; S2不是子布尔代数,因为它对运算“-” 不封闭;S3是布尔代数,但不是所给代数的子布尔代数,因为它对运算“-”不封闭。 * 离散数学 * 一个格的图示 图22.6 a+b a 0 b 1 b a a·b * 离散数学 * 布尔代数的同态 定义22.4.3 设?B,· ,+,-,0,1?和?S, ∧,∨,?,?,??是两个布尔代数,f是B到S的映射。如果对任意a,b∈B有 f(a · b) = f(a)∧f(b) f(a +b) = f(a)∨f(b) f( a ) = ? f(a)

文档评论(0)

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

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

版权声明书
用户编号:6212135231000003

1亿VIP精品文档

相关文档