逻辑代数的基本定理_基本规则_逻辑函数简化(18).ppt
《逻辑代数的基本定理_基本规则_逻辑函数简化(18).ppt》由会员分享,可在线阅读,更多相关《逻辑代数的基本定理_基本规则_逻辑函数简化(18).ppt(18页珍藏版)》请在淘文阁 - 分享文档赚钱的网站上搜索。
1、 逻辑函数相等的概念:设有两个逻辑函数逻辑函数相等的概念:设有两个逻辑函数它们的变量都是它们的变量都是A、B、C、,如果对应于变量如果对应于变量A、B、C、的任何一组变量取值,的任何一组变量取值,Y1和和Y2的值都相同,的值都相同,则称则称Y1和和Y2是相等的是相等的,记为,记为Y1=Y2。若两个逻辑函数相等,则它们的真值表一定相同;反之,若两个逻辑函数相等,则它们的真值表一定相同;反之,若两个函数的真值表完全相同,则这两个函数一定相等。因此,若两个函数的真值表完全相同,则这两个函数一定相等。因此,要证明两个逻辑函数是否相等,只要分别列出它们的真值表,要证明两个逻辑函数是否相等,只要分别列出它
2、们的真值表,看看它们的真值表是否相同即可看看它们的真值表是否相同即可。2.3.1 2.3.1 逻辑函数的相等逻辑函数的相等2.3 逻辑代数的基本定理和基本规则逻辑代数的基本定理和基本规则1证明:列出真值表证明:列出真值表例例2.3.1 用真值表证明摩根定律用真值表证明摩根定律AB=A+B,A+B=A B2(1)常量之间的关系)常量之间的关系2.3.2 逻辑代数的基本定律逻辑代数的基本定律3(2)逻辑代数的基本定律)逻辑代数的基本定律P21 表2.3.4重点强调4(1)代代入入规规则则:任任何何一一个个含含有有变变量量A的的等等式式,如如果果将将所所有有出出现现A的的位位置置都都用用同同一一个个
3、逻逻辑辑函函数数代代替替,则则等等式式仍然成立。这个规则称为代入规则。仍然成立。这个规则称为代入规则。例如,已知等式例如,已知等式 ,用函数,用函数Y=AC代代替等式中的替等式中的A,根据代入规则,等式仍然成立,即有:根据代入规则,等式仍然成立,即有:2.3.3 逻辑代数运算的基本规则逻辑代数运算的基本规则5A+C+D=A C+D求反律求反律A+B=AA+B=AB B用用Y=C+DY=C+D代替代替B B=A C D例、证明:例、证明:A+C+D=A C D证明:证明:即即就是就是摩根定理摩根定理,可以推广到多个变量,可以推广到多个变量6(2)反反演演(求求反反)规规则则:对对于于任任何何一一
4、个个逻逻辑辑表表达达式式Y,如如果果将将表表达达式式中中的的所所有有“”换换成成“”,“”换换成成“”,“0”换换成成“1”,“1”换换成成“0”,原原原原变变变变量量量量换换换换成成成成反反反反变变变变量量量量,反反反反变变变变量量量量换换换换成成成成原原原原变变变变量量量量,那那么么所所得得到到的的表表达达式式就就是是函函数数Y的的反反函函数数Y(或或称称补补函函数)。这个规则称为反演规则,亦称数)。这个规则称为反演规则,亦称求反规则求反规则。例如:。例如:注意:1、变换时要保持原式中的运算顺序。2、不是在“单个”变量上面的“非”号应保持不变。Y=AB C D E7(3 3)对对偶偶规规则
5、则:对对于于任任何何一一个个逻逻辑辑表表达达式式Y Y,如如果果将将表表达达式式中中的的所所有有“”换换成成“”,“”换换成成“”,“0 0”换换成成“1 1”,“1 1”换换成成“0 0”,而而变变变变量量量量保保保保持持持持不不不不变变变变,则则可可得得到到的的一一个个新新的的函函数数表表达达式式Y Y,Y Y称称为为函函Y Y的的对对偶函数偶函数。这个规则称为对偶规则。例如:。这个规则称为对偶规则。例如:8对对偶偶规规则则的的意意义义在在于于:如如果果两两个个函函数数相相等等,则则它它们们的的对对偶偶函函数数也也相相等等。利利用用对对偶偶规规则则,可可以以使使要要证证明明及及要要记记忆忆
6、的的公公式式数数目目减减少一半。例如:少一半。例如:注意注意注意注意:1、在运用反演规则和对偶规则时,必须按照逻辑运、在运用反演规则和对偶规则时,必须按照逻辑运算的优先顺序进行:先算括号,接着与运算,然后或运算,最后算的优先顺序进行:先算括号,接着与运算,然后或运算,最后非运算,否则容易出错。非运算,否则容易出错。2、F的对偶式的对偶式F与反函数与反函数F不同,在求不同,在求F时不要求将时不要求将原变量和反变量互换,所以一般情况下,原变量和反变量互换,所以一般情况下,F F,只有在特殊情只有在特殊情况下才相等。况下才相等。P21 表2.3.491 1、运算顺序和普通代数一样,应先算括号里内容,
- 配套讲稿:
如PPT文件的首页显示word图标,表示该PPT已包含配套word讲稿。双击word图标可打开word文档。
- 特殊限制:
部分文档作品中含有的国旗、国徽等图片,仅作为作品整体效果示例展示,禁止商用。设计者仅对作品中独创性部分享有著作权。
- 关 键 词:
- 逻辑 代数 基本 定理 规则 函数 简化 18
限制150内