- 1、本文档共23页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
本次课内容 布尔代数 布尔代数的定义 布尔代数的例题 布尔代数的性质 布尔表达式 布尔表达式的分类 第六章 格与布尔代数 6 - 4 布尔代数 6 - 5 布尔表达式 一、布尔代数 1. 布尔代数的定义 2. 布尔代数的性质 3. 布尔表达式 二、布尔代数的应用 1. 电路的逻辑设计 2. 开关电路的化简 格与布尔代数是另一类代数系统. 格是由偏序集定义的, 实质上格是有两个 二元运算的代数系统〈A , ∧, ∨〉, 运算∧,∨ 可交换、结合和吸收. 布尔代数是以格为基础定义的, 为简洁计 我们采用公理化的定义方法. 布尔代数在计算机科学中有很多直接应用. 定义 设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∧c) = (a∨b)∧(a∨c), H3 B中有元素0和1, 使a, b, c∈B, 有 a∨0 = a, a∧1 = a H4 a∈B, 在B中存在一个元素a’,使 a∨a’ = 1, a∧a’ = 0 则称〈B, ∧, ∨〉是一个布尔代数. a’ 叫a的补. 例1 设 B = {0,1}, 定义∧,∨ 如 例2 设S是非空集, ∩为集合的交运算, ∪为 集合并运算, 则 〈2S, ∩, ∪, ~, φ , S 〉 是一个布尔代数. 令|S|=n, 则上面代数含 2n 个 元. 这个布尔代数具有重要意义 ----- 任一有限布 尔代数同构于某有限集合S的幂集形成的布尔代 数. 例3 令 Bn = {0, 1} n, n≥1, (a1, a2,…, an) ∈Bn ai∈{0, 1}, i=1,2,…,n 设α= (a1, a2,…,an) ∈Bn ,β= (b1, b2,…,bn) ∈Bn, α≤nβ ai ≤ bi ,i =1, 2,…, n. 定义 α∧β= (a1∧b1, a2∧b2,…, an∧bn) α∨β= (a1∨b1, a2∨b2,…, an∨bn) 则最小元 0n = (0, 0,…, 0), 最大元 1n = (1, 1,…, 1), α’ = (a’1, a’2,…, a’n) . 故〈Bn, ∧, ∨,’ , 0n, 1n〉是布尔代数. a, b, c∈B =〈B, ∧, ∨, ’ , 0, 1〉, 成立 B1 a∧a = a, a∨a = a B2 a∧b = b∧a, a∨b = b∨a B3 结合律 B4 ∧与∨之间的分配律 B5 补 ’ 与∧, ∨ 的 De Morgan律 B6 a∨(a∧b) = a, a∧(a∨b) = a B7 a∧0 = 0, a∨0 = a B8 a∧1 = a, a∨1 = 1 B9 a∧a’ = 0, a∨a’ = 1 B10 0’ = 1, 1’ = 0 含3个变元的布尔表达式形如 f(x1, x2, x3) = (x1∧x2)∨x3 等等. 这样的布尔表达式也叫作布尔函数,它是 Bn到B的映射. 两个布尔表达式可以运用布尔恒等式,进行 等价变形,变形前后的布尔表达式称为是等价的. 例如 f(x1, x2, x3) = (x1∧x2)∨x3 (x1∨x3)∧( x2∨x3) 又有 f (x1∨x2∨x3)∧( x1∨x2’∨x3) ∧( x1’∨x2∨x3)∧( x1∨x
您可能关注的文档
最近下载
- 《建筑抗震设计规范》(GB50011-2010)正式版.PDF VIP
- 一种用于辅助降血糖的保健食品及其制备方法.pdf VIP
- 糖尿病性视网膜病变科普讲座课件.pptx VIP
- 新概念英语第三册课文翻译及学习笔记:Lesson7.docx VIP
- GB∕T_18710-2002_风电场风能资源评估方法.docx VIP
- 初二深圳数学试卷.docx VIP
- 供货方案人员配备方案.docx VIP
- 2026版本最新欧洲euro-ncap-supporting-protocol-safe-driving-crash-avoidance-virtual-testing-v09.pdf VIP
- 稻虾共养可行性报告.pptx
- 整体性治理视角下西江航运干线船闸管理体制研究的中期报告.docx VIP
文档评论(0)