摘要:对于任何一个逻辑函数式,先任选某个变量Ai,分别令其为1与0,并计算出相应结果(分别记为f1和f2),然后合并得出结果Af1+Ai^-f2。如果这个结果还不是最简形式,再选取另外一个逻辑变量Aj,重复上述过程,通过这种逻辑变量的逐次代入可以求出最简结果。若其中某个因子不论为何值(0或1),均可得到相等的其余各项的和,则该因子及其非项都是多余的。在这个结论及其证明的基础上,得出两个推论,可用于对任一逻辑函数式进行化简。这种方法既有简单统一的固定步骤,又不需要掌握更多的常用公式,集中了公式法、卡诺图法的优点。%For any one logical function,take out a variable Ai,let it to be 1 and 0,and calculate the corresponding results(respectively denoted by f1 and f2),then merge the outcome of the Af1+A^-f2.If this result is not the most simple form,then select another one