第30讲第十七章数制编码及逻辑代数(二)(2010年新版).docVIP

17.3.4 复杂逻辑关系 （1） “与非”逻辑 与和非的复合逻辑称为与非逻辑，它可以看成与逻辑后面加了一个非逻辑，实现与非逻辑的电路称为与非门。 （2）或非逻辑 或和非的复合逻辑称为或非逻辑，可以看成或逻辑后面加了一个非逻辑，实现或非逻辑的电路或非门。 （3）与或非逻辑 是三种基本逻辑的组合，也可看成是与逻辑与或非逻辑的组合。 （4） 异或逻辑 异或逻辑是指当两个输入逻辑变量取值相同时，输出为0，不同（相异）时输出为1。实现异或逻辑的电路称为异或门。 （5）同或逻辑 同或逻辑又称为异或非逻辑，是指当两个输入逻辑变量取值相同时，输出为1，不同时输出为0。实现同或逻辑的电路称为同或门（或称为异或非门）。 17.4 逻辑函数表示 17.4.1 逻辑代数 逻辑代数的基本公式、定律和规则 （1）基本公式 逻辑代数的基本公式和定律列下表 逻辑代数的基本公式和定律 名称 公 式 0-1律 0·0=0 0+0=0 0·1=0 0+1=1 1·1=1 1+1=1 0·A=0 0+A=A 1·A=A 1+A=1 重叠律（自等律） A·A=A A+A=A 互补律 还原律 交换律 A·B=B·A A+B=B+A 结合律 (A·B )·C=A·(B·C) (A+B )+C=A+(B+C) 分配律 A·(B +C)=AB+AC A+B C=(A+B)(A+C) 反演律 (德·摩根定理) 吸收律 A+AB=A A(A+B)=A (A+B)(A+C)=A+BC 表中各式，0-1律、重叠律、互补律、还原律，按与、或、非三种基本逻辑运算的含义不难理解，也无须证明。而交换律、结合律、分配律、反演律和吸收律各式可用真值表证明。摩根定理适用于任何两变量以上的多变量函数。　 　 表　　证明两变量的摩根定理的真值表 A B 0 0 0 1 1 0 1 1 1 0 0 0 1 0 0 0 1 1 1 0 1 1 1 0 由表可见　　　 （2）关于等式的若干规则 1)代入规则 将等式两边出现的同一变量都以一个相同的逻辑函数代之，则等式仍成立，这个规则称为代入规则。 利用代入规则可以扩大等式的应用范围，很多基本公式都可以由两变量或三变量推广为多变量的形式。例如，摩根定理的两变量形式为　及，利用代入法则，将前式“B”的位置以(B·C)代入，后式 “B”的位置以(B＋C)代入就可得到表中三变量形式的摩根定理。从而，摩根定理得到了扩展。 2）反演规则 对于一个逻辑式Z，如果把其中所有的“·”换成“+”，“+”换成“·”，0换成1，1换成0，原变量换成反变量、反变量换成原变量，那么得到的函数式就是，这个规则叫做反演规则。它为求一个函数的反函数提供了方便。 在使用反演规则时需要注意两点： ①必须遵守“先括号、然后乘、最后加”的顺序。 ②不属于单个变量上反号应保留不变。 3） 对偶规则 对于任何一个逻辑式Z，如果把其中所有的“·”换成“+”，“+”换成“·”，0换成1，1换成0，则得到一个新的函数式，这就是函数Z的对偶式，记作。 可以证明，若两个逻辑式相等，则它们的对偶式也相等，这就是对偶规则。运用对偶规则可以使人们要证明的公式大大减少。假如要求证和是否相等，则只需证明其对偶式、是否相等。例如，分配律为A（B+C）=AB+AC，求这一个公式两边的对偶式，则有分配律A+BC=（A+B）（B+C）成立。如果已证明前式成立，那么后式就不必再证明了，它一定成立。 17.4.2 逻辑函数的代数法化简 化简的意义：将逻辑函数化成最简形式便于在用电路实现时节省器件。 （1）逻辑函数式最简的标准 逻辑函数式有多种形式，如与或式，或与式，与非与非式，或非或非式等等。 Y=AB+AC 与或式 =((AB+AC))=((AB)(AC)) 与非与非式 两次取反 =((AB+AC))=((A+B)(A+C)) =(AB+AC+BC)=(AB+AC)=(A+B)(A+C) 或与式 =(((A+B)(A+C)))=((A+B)+(A+C)) 或非或非式 两次取反 =(AB+AC) 与或非式 与或式使用最多，因此我们只讨论与或式的最简标准 1．包含的与项最少； 2．在满足1项的前提下，每个与项包含的变量个数最少。 （2）化简方法 我们通过一些例子说