逻辑函数式的逐次代入化简法.docx

1、逻辑函数式的逐次代入化简法逻辑函数式的逐次代入化简法摘要：对于任何一个逻辑函数式，先任选某个变量Ai，分别令其为1与0，并计算出相应结果（分别记为f1和f2），然后合并得出结果Af1+ Ai f2。如果这个结果还不是最简形式，再选取另外一个逻辑变量Aj，重复上述过程，通过这种逻辑变量的逐次代入可以求出最简结果。若其中某个因子不论为何值（0或1），均可得到相等的其余各项的和，则该因子及其非项都是多余的。在这个结论及其证明的基础上，得出两个推论，可用于对任一逻辑函数式进行化简。这种方法既有简单统一的固定步骤，又不需要掌握更多的常用公式，集中了公式法、卡诺图法的优点。 关键词：逻辑函数式；逐次代入；

2、化简；方法 0引言 在数字电路的分析与设计中，往往要进行逻辑函数式的化简，常用的化简方法有公式化简法、卡诺图化简法等。公式化简法的原理就是反复使用逻辑代数的基本公式和常用公式消去逻辑函数式中多余的乘积项和多余的因子，以求得最简的逻辑函数式。这种方法没有固定的步骤，同时需要熟练掌握逻辑代数的基本公式和常用公式，初学者在化简时容易出错，或者得不到最简形式。卡诺图化简法的原理就是先把逻辑函数式转化成最小项的表示形式，然后作出卡诺图，再从卡诺图上直观地找出那些具有相邻性的最小项并将其合并化简P 1P 。这种化简方法一般都有固定的步骤，比较容易掌握，但要求在做出卡诺图之前将待化简函数式转换成最小项表示形

3、式，当逻辑变量较多时也极易出错。可见上述两种方法各有利弊，如果找到一种化简方法，既有简单统一的固定步骤，又不需要掌握更多的常用公式，就可以将上述两种化简方法的优点集中起来。 经研究，发现对于任一逻辑函数式，可以通过逐次代入各个逻辑变量取值的方法进行化简。 1逐次代入化简法的内容及证明 逻辑函数式的逐次代入化简化法的基本内容是： 对于任何含有 n个逻辑变量AB1B、AB2BABiBABnB的逻辑函数式f(AB1B、AB2BABiBABnB)（以下简称f），任取一个逻辑变量ABiB，若 当ABiB1时，f fB1B(AB1B、AB2BABi-1B，ABi+1BABnB)（以下简称fB1B）; 当A

4、BiB0时，ffB2B(AB1B、AB2BABi-1B，ABi+1BABnB)（以下简称fB2B）; 则fABiBfB1B + Ai fB2B。 上述结论的证明很简单： 当ABIb1时， ffB1 1•fB1B+ 0•fB2 ABiBfB1B+ Ai fB2B； 当ABiB0时， ffB2B 0•fB1B+1•fB2B ABiBfB1B+ Ai fB2B； 当ABiB取1或0，即ABiB取任意值时，均有f(AB1B、AB2BABiBABnB) ABiBfB1B(AB1B、AB2BABi-1B，ABi+1BABnB)+ Ai fB2B(AB1B、A

5、B2BABi-1B，ABi+1BABnB)成立。 利用上述结论对逻辑函数式进行化简时，一般需对各个逻辑变量进行取值代入，逐次化简。 2三个推论 在上述结论中，若fB1BfB2B0，则有fABiB•0 + Ai •00；同理，若fB1BfB2B1，则有fABiB•1 + Ai •11。这不难理解，因为ABiB为逻辑函数式f中的任一变量，无论其取何值均有fB1BfB2B0（1），逻辑函数式f必然恒为0（1）。 还有另一种情况，若ABiB1（或0）时， fB1B1（或fB2B0）；ABiB0（或1）时， fB2B0（或fB1B1），则有fABiB（或f

6、 Ai ）。 由此，可以得出两个推论： 推论一：对于任何含有n个逻辑变量AB1B、AB2BABiBABnB的逻辑函数式f(AB1B、AB2BABiBABnB)，任取一个逻辑变量ABiB，若 当ABiB1时，f(AB1B、AB2BABiBABnB)0 (或1); 当ABiB0时，f(AB1B、AB2BABiBABnB)0 (或1); 则f(AB1B、AB2BABiBABnB) 0 (或1)。 推论二：对于任何含有n个逻辑变量AB1B、AB2BABiBABnB的逻辑函数式f(AB、-、1B、AB2BABiBABnB)，任取一个逻辑变量ABiB，若 当ABiB1时，f(AB1B、AB2BABiBAB

7、nB)1 (或0); 当ABiB0时，f(AB1B、AB2BABiBABnB)0 (或1); 则f(AB1B、AB2BABiBABnB) ABiB（或 Ai ） 这两个推论是逐次代入化简法的两种特殊形式，在化简时也有着特别的用处。 推论三：含有n个逻辑变量A1,A2An和m个乘积项f1(A1,A2An),f2(A1,A2An),fm(A1,A2An)的逻辑函数式f(A1,A2An)，即f(A1,A2An)=f1(A1,A2An)+f2(A1,A2An)+fm(A1,A2An)，设任意一个乘积项fi(A1,A2An)= A1•A2••Aj，(1im,1jn)，

8、当其中任意一个因子Ak(1kj)等于0或1时，将其取值分别代入f(A1,A2An)均可得到相同的结果，即逻辑函数式f(A1,A2An)，则f(A1,A2An)中所有乘积项中的因子Ak及其非项 Ak 是多余的，可以舍去。 利用第二节的结论即可证明：由于fABkfB1B+ Ak fB2B，当f1=f2时，有fAkkfB1B+ Ak fBf1，即不论Ak取何值时，均不影响逻辑函数式的结果，也说明Ak与 Ak 是多余的。 3逐次代入化简法的应用 根据上面给出的结论，在应用逐次代入化简法时，先任选某个变量，分别令其为1与0，并算出相应结果；如果这个结果还不是最简形式，就要重复上述过程，最后将每一步的结果

9、进行合并。在每次先取取值变量的时候，应首先选取各个乘积项中出现次数最多的变量进行化简，这样效果最好。这里给出几个例子。 例1，化简逻辑函数式f(A,B)=AB+AAKB-P 解：当A1时， f(A,B)f1(B)B+AKB-1； 当A0时， f(A,B)f2(B)0； 所以，由上述结论可知， f(A,B)A•1+AKA-•0A。 在例中如果先选取变量进行化简，则需要用到推论三，因为不论为何值，均可得到结果。 例2，化简逻辑函数式f(A,B,C)AB+AKA-C+BCP 解：当A1时， f(A,B,C)f1(B,C)1•B+0•C+BC=B+BC

10、下面再对f1(B,C)进行化简： 当B1时，f1(B,C)1，当B0时，f1(B,C)0，由上述推论二可知，f1(B,C)B。 即当A1时， f(A,B,C)f1(B,C)B； 当A0时， f(A,B,C)f2(B,C)0•B+1•C+BCC+BC；由上一步可知，C+BCC； 即当A0时， f(A,B,C)f2(B,C)C； 所以，由上述结论可以得到， f(A,B,C)A•f1(B,C)+AKA-•f2(B,C)=AB+AKA-C 例3，化简逻辑函数式 f(A,B,C，D)=AAKC-+ABC+ACAKD-+CDP2P 解：当A1时， f(A,B

11、,C,D)= f1(B,C,D)=AKC-+BC+CAKD-+CD 再来化简 f1(B,C,D)： 当B1时， f1(B,C,D)= f1(C,D)=AKC-+C+CAKD-+CD（1） 当B0时，f1(B,C,D)=f2(C,D)=AKC-+CAKD-+CD 再来对f2(C,D)进行化简： 当C1时， f2(C,D)= f(D)=AKD-+D=1 当C0时， f2(C,D)=f(D)=1 所以，当B0时， f1(B,C,D)= f2(C,D)=1（2） 由（1）（2）两式，利用前述推论一可知，当A1时， f1(B,C,D)1。 再看A0的情况： 当A0时， f(A,B,C,D)= f2(B,

12、C,D)=CD，此时， f2(B,C,D)已为最简形式，不需要再往下进行化简了。 综上， f(A,B,C,D)=A f1(B,C,D)+AKA- f2(B,C,D)=A•1+AKA-•CD=A+CD 例4，化简逻辑函数式 f(A,B,C,D)=AAKC-+AAKD-+CD+AKA-P2P 解：当A1时，f(A,B,C,D)1•AKC-+1•AKD-+CD+0AKC-+AKD-+CD=AKC-+AKD-+C1； 当A0时， f(A,B,C,D)= 0•AKC-+0•AKD-+CD+11 应用推论二，可知， f(A,B,C,D

13、)=AAKC-+AAKD-+CD+AKA-1。 上述四例都应用逐次代入化简法进行化简，其中例2、例3与例4还用到了推论。可以看出，这种化简方法有效易行。 4逐次代入化简法的简化形式 需要指出的是，利用上述结论进行化简时，方法很简单，写起来看上去很繁琐，在实际化简时可以写成更简便的树形形式P3P 。 这里再给出两个例子： 例5，化简逻辑函数式 f(A,B,C,)=A(BC+AKB-AKC-)+ABAKC-+AAKB-CP4P 还是利用上述逐次代入化简法进行化简，但将它写成树形形式，更简洁直观。 解： f(A,B,C,)A=1A=0 BC+B+CB=1B=0C+=1 +C=1=B+=1 0•(+BC)+0•B+0•C=0 f(A,B,C,)=A•1+•0=A 最后一步实际上也可直接根据推论二得出结果。这里说明一下，在本例中，首先选取的取值变量为A，令其等于1与0，分别写在等号上下两侧（这里用的是一根横线），其后括号内的上一行为A1的结果，下一行为A0的结果。在化简过程中，选取的变量数与所用到的括号数是相等的。本例只选取了两个变量进行取值代入计算，书写形