- 1、本文档共58页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
- 5、该文档为VIP文档,如果想要下载,成为VIP会员后,下载免费。
- 6、成为VIP后,下载本文档将扣除1次下载权益。下载后,不支持退款、换文档。如有疑问请联系我们。
- 7、成为VIP后,您将拥有八大权益,权益包括:VIP文档下载权益、阅读免打扰、文档格式转换、高级专利检索、专属身份标志、高级客服、多端互通、版权登记。
- 8、VIP文档为合作方或网友上传,每下载1次, 网站将根据用户上传文档的质量评分、类型等,对文档贡献者给予高额补贴、流量扶持。如果你也想贡献VIP文档。上传文档
查看更多
第一章 逻辑与证明 引入 计算机和其他电子设备中的电路都有输入和输出,输入是0或1,输 出也是0或1.电路可以用任何具有两个不同状态的基本元件来构造,开 关和光学装置都是这样的元件。 1854年,乔治.布尔第一次给出逻辑的基本规则。1938年,克劳德. 香农揭示了怎么用逻辑的基本规则来设计电路,这些基本规则形成了 布尔代数的基础。 在本章中我们对布尔代数的基本性质进行了讨论,并利用布尔代 数的基本元素构造的表达式来表示布尔函数,以及介绍一个能产生这 些表达式的算法。 1.引言 布尔代数提供的是集合{0,1}上的运算和规则,这个集合及布尔代数的规则还可以用来研究电子和光学开关。 我们用的最多的三个布尔代数运算是补、布尔和与布尔积。 下面具体介绍一下这三种运算。 1) 元素的补 用上划线加以标记,其定义为: 和 2. 布尔和记为+或OR,它的值如下: 3.布尔积记为 或AND ,它的值如下: 注意: 为了避免混淆可以删去“ ”。就像在写代数积时一样。 除非使用括号布尔运算的优先级规则是:首先计算所有补,然后是布尔积,然后是布尔和。 【example 1】计算 的值。 Solution: 根据补、布尔积与布尔和的定义得 注:补、布尔积和布尔和分别对应于逻辑运算?、∨和∧,且0 对应于F(假),1对应于T(真)。关于布尔代数的结果可以直接翻译 成关于命题的结果。相反地,关于命题的结果也能翻译成关于布 尔代数的命题。 布尔函数定义: 设B={0,1}, 则Bn={(x1,x2,…,xn) | xi ∈B, 1≤i≤n }是由0和1 所能构成的所有n元有序列的集合。变元x如果仅从B中取值,则 称该变元为布尔变元,即它的值只可能为0或1. 从Bn到B的函数 称为n度布尔函数。 【example 2】从布尔变元有序对之取值集合到集合{0,1} 的函数 就是一个2度布尔函数,且 F的值如下表所示。 布尔函数也可用由变元和布尔运算构成的表达式来表示。关 于变元x1,x2,…,xn的布尔表达式递归定义如下: 1)0,1,x1,x2,…,xn是布尔表达式; 2)如果E1和E2是布尔表达式,则 也是布尔表达式。 每个布尔表达式都表示一个布尔函数,此函数的值是通过在 表达式中用0和1替换变元得到的。 【example 3】 求由 表示的布尔函数的值。 Solution: 这个函数的值由下表所示。 布尔函数还可以用图形来表示,方法是:将n元二进制数组与 n方体的顶点一一对应,再标出那些函数值为的顶点。 【example 4】例3中从B3到B的函数 可如下表示:标出满足 的五个3元组 所对应的顶点。如下图所示,这些顶点用实心的黑圈标出。 n个变元的布尔函数F和G是相等的,当且仅当 F( b1,b2,…bn )=G( b1,b2,..bn ),其中b1,b2,…bn 属于B.表示 同一个函数的不同的布尔表达式称为是等价的。 例如,布尔表达式 都是等价的。布尔函 数F的补函数是 此处 设F和G是n度的布尔函数,函数的布尔和F+G与布尔积FG分 别为 2度布尔函数是从一个4个元素的集合到B的函数,这4个元素 是B={0,1}中元素构成的元素对,B是有2个元素的集合,因而有 16个不同的2度布尔函数。在下表中我们列出了这16个2度布尔 函数的值,这16个不同的2度布尔函数被记为F1, F2, …, F16. 【example 5】有多少个不同的n度布尔函数? Solution: 由计数的乘积规则知:有2n个由0和1构成的不同的n元组。 因为布尔函数就是对这2n个n元组中的每一个进行赋值,故乘 积规则表明有 个不同的n度布尔函数。 下表列出了1~6度不同布尔函数的个数。 3.布尔代数恒等式 布尔代数有许多恒等式,下表中列出了其中最重要的恒等式 。这些恒等式对于电路设计的简化特别有用,下表中的每一个恒 等式都可以用表来证明。
您可能关注的文档
- 人体外形与结构.ppt
- 一个社会的人.ppt
- 皇帝制度与中央集权.ppt
- 人力资源PPT-Chap001.ppt
- 人像精修技巧与形体液化.ppt
- 一二单元综合.ppt
- 人力资源基础理论-第8章业绩考核.ppt
- 人力资源心理学.ppt
- 一些有意思的话.ppt
- 人力资源的薪酬与激励.ppt
- 2025年高考物理十九大专项实验抢分专练十九:探究等温情况下一定质量气体压强与体积的关系(含解析).docx
- 2025年高考物理十九大专项实验抢分专练十四:探究变压器原副线圈电压与匝数的关系(含解析).docx
- 【四川卷】四川省成都市2022级(2025届)高中毕业班第二次诊断学检测(成都二诊)(3.10-3.12)语文试卷(成都二诊).pdf
- 【新课标1卷】衡水金卷先享调研2025年普通高中学业水平选择性考试模拟试题(3.3-3.4)政治试卷.pdf
- 2025年高考物理十九大专项实验抢分专练二:探究弹簧弹力与形变量的关系(含解析).docx
- Unit1Howtallareyou?Btalklearn(课件)-人教PEP版英语六年级下册.pptx
- 贵州省黔东南苗族侗族自治州2024-2025学年高一上学期1月期末测试政治试题2.docx
- 高三英语一轮复习主谓一致课件.pptx
- 山东省青州第一中学2024-2025学年高二上学期期末模拟(二)历史试题(原卷版).docx
- Unit4PlantsaroundusALet’slearn(课件)-人教PEP版(级上册(1).pptx
文档评论(0)