逻辑代数的基本定理基本规则逻辑函数简化18.pptVIP

* 逻辑函数相等的概念：设有两个逻辑函数 　　它们的变量都是A、B、C、…，如果对应于变量A、B、C、…的任何一组变量取值，Y1和Y2的值都相同，则称Y1和Y2是相等的，记为Y1=Y2。 　　若两个逻辑函数相等，则它们的真值表一定相同；反之，若两个函数的真值表完全相同，则这两个函数一定相等。因此，要证明两个逻辑函数是否相等，只要分别列出它们的真值表，看看它们的真值表是否相同即可。 2.3.1 逻辑函数的相等 2.3 逻辑代数的基本定理和基本规则 证明：列出真值表 例2.3.1 用真值表证明摩根定律A?B=A+B，A+B=A ?B （1）常量之间的关系 2.3.2 逻辑代数的基本定律 （2）逻辑代数的基本定律 P21 表2.3.4 重点强调 　（1）代入规则：任何一个含有变量A的等式，如果将所有出现A的位置都用同一个逻辑函数代替，则等式仍然成立。这个规则称为代入规则。 　　例如，已知等式 　　　　　　，用函数Y=AC代替等式中的A，根据代入规则，等式仍然成立，即有： 2.3.3 逻辑代数运算的基本规则 A+C+D=A ? C+D 求反律A+B=A?B 用Y=C+D代替B =A ? C ? D 例、证明：A+C+D=A ? C ? D 证明： 即就是摩根定理，可以推广到多个变量 　（2）反演(求反)规则：对于任何一个逻辑表达式Y，如果将表达式中的所