- 1、本文档共7页,可阅读全部内容。
- 2、原创力文档(book118)网站文档一经付费(服务费),不意味着购买了该文档的版权,仅供个人/单位学习、研究之用,不得用于商业用途,未经授权,严禁复制、发行、汇编、翻译或者网络传播等,侵权必究。
- 3、本站所有内容均由合作方或网友上传,本站不对文档的完整性、权威性及其观点立场正确性做任何保证或承诺!文档内容仅供研究参考,付费前请自行鉴别。如您付费,意味着您自己接受本站规则且自行承担风险,本站不退款、不进行额外附加服务;查看《如何避免下载的几个坑》。如果您已付费下载过本站文档,您可以点击 这里二次下载。
- 4、如文档侵犯商业秘密、侵犯著作权、侵犯人身权等,请点击“版权申诉”(推荐),也可以打举报电话:400-050-0827(电话支持时间:9:00-18:30)。
查看更多
第三章 逻辑函数化简
一:布尔代数的基本公式
公式名称 公式 1、0-1律 A*0=0 A+1=1 2、自等律 A*1=A A+0=A 3、等幂律 A*A=A A+A=A 4、互补律 A*A=0 A+A=1 5、交换律 A*B=B*A A+B=B+A 6、结合律 A*(B*C)=(A*B)*C A+(B+C)=(A+B)+C 7、分配律 A(B+C)=AB+AC A+BC=(A+B)(A+C) 8、吸收律1 (A+B)(A+B)=A AB+AB=A 9、吸收律2 A(A+B)=A A+AB=A 10、吸收律3 A(A+B)=AB A+AB=A+B 11、多余项定律 (A+B)(A+C)(B+C)=(A+B)(A+C) AB+AC+BC=AB+AC 12、否否律 ()=A 13、求反律 AB=A+B A+B=A*B
?下面我们来证明其中的两条定律: (1)证明:吸收律1第二式AB+AB=A? ?左式=AB+AB=A(B+B)=A=右式? (因为B+B=1) (2)证明:多余项定律AB+AC+BC=AB+AC 左式=AB+AC+BC=AB+AC+BC(A+A) ? =AB+AC+ABC+ABC ? =AB(1+C)+AC(1+B) ? =AB+AC=右式??????????? 证毕 ? 注意:求反律又称为摩根定律,它在逻辑代数中十分重要的。 ? 二:布尔代数的基本规则
代入法则 ? 它可描述为逻辑代数式中的任何变量A,都可用另一个函数Z代替,等式仍然成立。 对偶法则 ? 它可描述为对任何一个逻辑表达式F,如果将其中的“+”换成“*”,“*”换成“+”“1”换成“0”,“0”换成“1”,仍保持原来的逻辑优先级,则可得到原函数F的对偶式G,而且F与G互为对偶式。我们可以看出基本公式是成对出现的,二都互为对偶式。 反演法则? ? 有原函数求反函数就称为反演(利用摩根定律),我们可以把反演法则这样描述:将原函数F中的“*”换成“+”,“+”换成“*”,“0”换成“1”,“1”换成“0”;原变量换成反变量,反变量换成原变量,长非号即两个或两个以上变量的非号不变,就得到原函数的反函数。??
一:逻辑函数化简的基本原则 逻辑函数化简,没有严格的原则,它一般是依以下几个方面进行 : 逻辑电路所用的门最少;各个门的输入端要少;逻辑电路所用的级数要少;逻辑电路要能可靠的工作。 这几条常常是互相矛盾的,化简要根据实际情况来进行。下面我们来用例题说明一下: 例1:化简函数F=AB+CD+AB+CD,并用基本逻辑门实现。 (1)先化简逻辑函数 F=AB+CD+AB+CD=A(B+B)+D(C+C)=A+D
二:逻辑函数的形式和逻辑变换 ??? 逻辑函数的形式很多,一个逻辑问题可以用多种形式的逻辑函数来描述。 ?逻辑函数的表达式可分为五种:1.与或表达式2.或与表达式3.与非表达式4.或非表达式5.与或非表达式。这几种表达式之间可以互相转换,应根据要求把逻辑函数化简成我们所需要的形式。 一: 在学习之前我们先来了解几个概念(1)逻辑相邻项:它可描述为在两个与或逻辑中,除某个因子互为非外,其余的因子都相同。 (2)逻辑最小项:它可描述为在给定变量数目的逻辑函数中,所有变量参加相与的项。在某一个最小项中每个变量只能以原变量或反变量的形式出现一次。逻辑最小项的性质是:全部最小项之和为“1”;两个不同的最小项之积为“0”;n变量有2n项最小项。 ?(3)最小项标准式:全是最小项组成的“与或”式。 ?二:卡诺图化简的基本原理凡两个逻辑相邻项,可合并为一项,其合并的逻辑函数是保留相同的,消去相异的变量。 三:卡诺图的结构每一个最小项用一个方格表示,逻辑相邻的项几何位置上也相邻,卡诺图每方格取值按循环码排列 四:卡诺图的表示法先将逻辑函数式化为最小项表达式,再填写卡诺图。用真值表填写对应的卡诺图方格。直接填写(横纵保留相同的因子) 五:卡诺图中的最小项的合并规律合并规律:21个相邻项合并时消去一个相同的变量,22个相邻的项合并时消去两个相同的变量,以此类推,2n个相邻的项合并时消去n个相同的变量。相邻项的性质是(1)具有公共边(2)对折重合(3)循环相邻 六:与或逻辑化简例:化简F=BCD+BC+ADC+ABC+ABC(用图形法) (1)用卡诺图表示逻辑函数:(如下图)(2)画卡诺圈圈住全部“1”的方格(规则是:圈尽可能大;允许重复,但要新;孤立的“1”独圈。)(3)组成新函数是F=BC+AC+ADB(4)画出逻辑电路:(如右下图所示)??
七:其它逻辑形式的化简
(1)与非逻辑形式??方法是:把逻辑函数用卡诺图化简得与或式,然
您可能关注的文档
- 第七单元课题1 燃烧与灭火 教学设计与反思.doc
- 第一讲 尸体现象与死亡时间的推断.ppt
- 第七章 Cross-Cultural Communication and Negotiation 跨文化沟通与谈判 国际企业与跨文化管理课件.ppt
- 第七章 发酵异常情况分析、处理与防治.ppt
- 第七章 学生的社会学分析.ppt
- 第七章 新闻摄影的体裁与图片说明的写作.ppt
- 第七章 为新中国而奋斗 中国近现代史纲要.ppt
- 第七章 合同、信息、档案资料管理的方法与措施.doc
- 第七章 有机电化学合成技术.ppt
- 第七章 神经系统的发育.ppt
- 2024年江西省高考政治试卷真题(含答案逐题解析).pdf
- 2025年四川省新高考八省适应性联考模拟演练(二)物理试卷(含答案详解).pdf
- 2025年四川省新高考八省适应性联考模拟演练(二)地理试卷(含答案详解).pdf
- 2024年内蒙通辽市中考化学试卷(含答案逐题解析).docx
- 2024年四川省攀枝花市中考化学试卷真题(含答案详解).docx
- (一模)长春市2025届高三质量监测(一)化学试卷(含答案).pdf
- 2024年安徽省高考政治试卷(含答案逐题解析).pdf
- (一模)长春市2025届高三质量监测(一)生物试卷(含答案).pdf
- 2024年湖南省高考政治试卷真题(含答案逐题解析).docx
- 2024年安徽省高考政治试卷(含答案逐题解析).docx
文档评论(0)