- 1、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。。
- 2、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 3、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 4、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 5、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 6、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 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)
您可能关注的文档
- 汇编语言——入门.pdf
- 管式加热炉间壁式空气预热器现状分析及方案优化_姜国平.pdf
- 16秋《网络信息文献检索》.docx
- 2第二章 计算机检索基础知识.ppt
- 基于Nataf变换含相关性的扩展准蒙特卡洛随机潮流方法.pdf
- 华中科技大学工程制图第6章.ppt
- 数字钟电路实验.pdf
- 关联规则挖掘1.ppt
- 科技术语汉译方法及技巧.pdf
- 第二章 java语法基础(4学时).ppt
- 2023-2025年中考英语真题汇编01之单项选择(介词,数词&并列连词).docx
- 【必会】山西省政府采购从业人员备考题库宝典_2026核心题版.docx
- 2026年山东省网络安全工程职称(生态治理)核心备考题库(含典型题、重点题).docx
- 2026年四川省综合评标专家入库核心备考题库(含典型题、重点题).docx
- 【必会】四川省综合评标专家入库备考题库宝典_2026核心题版.docx
- 2026年山东省网络安全工程职称(网络安全技术研发与应用)核心考点速记速练300题(附答案).docx
- 2026年山东省网络安全工程职称(生态治理)考前冲刺备考速记速练500题_含答案.docx
- 2026年山东省网络安全工程职称(网络生态建设与治理)最新大纲考试题库_含答案.docx
- (必刷)山东省政府采购评审专家考点精粹必做500题_含答案.docx
- 2026年云南省政府采购评审专家考前冲刺必会500题_含答案.docx
最近下载
- 分子技术的临床应用题库及答案-2025年华医网继续教育.docx VIP
- 采矿工程毕业设计(论文)-平顶山矿1.2Mta新井设计(全套图纸).doc VIP
- Zebra斑马ZQ630 用户手册.pdf
- 2025年高中语文复习讲义选择性必修下册(一) 单篇梳理2 项脊轩志.docx VIP
- 风电机组叶片防雷相似性对比研究.pptx VIP
- 2026年中国长城资产管理股份有限公司校园招聘笔试模拟试题及答案解析.docx VIP
- 国开2024年秋《经济法学》计分作业1-4答案形考任务.docx
- 2014年q12 impact提升计划管理表(结构).xls VIP
- 党政办公室工作人员业务培训教学演示课件.ppt VIP
- 山梨酸钾MSDS化学物质技术说明书.pdf VIP
原创力文档


文档评论(0)