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

A New Simplification Method of Logical Function

作　　者：郭爱平[1] 陈勇[2] 芮茂海[1] 

机构地区：[1]中国人民解放军总参谋部通信训练基地,河北宣化075100 [2]中国人民解放军炮兵指挥学院,河北宣化075100

出　　处：《软件导刊》2011年第7期3-5,共3页Software Guide

摘　　要：对于任何一个逻辑函数式,先任选某个变量Ai,分别令其为1与0,并计算出相应结果(分别记为f1和f2),然后合并得出结果Af1+Aif2。如果这个结果还不是最简形式,再选取另外一个逻辑变量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 logical variable Aj,repeat the process above,through which the successive generation of logic variables can be calculated into the most simple results.In this paper two inferences based on this conclusion and its proof that can be used for a simplification of logic functions.This method both simple and uniform fixed steps,they do not need to have more commonly used formula,concentrated advantages of both formula and Karnaugh map method.

关 键 词：逻辑函数式 逐次代入 化简 方法 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]