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

• 作者: 芮茂海 郭爱平 陈勇
• 来源期刊: 软件导刊
• 学科: 工学
• 关键词: 逻辑函数式 逐次代入 化简 方法
• 年，卷（期）: 2011,（7）
• 所属期刊栏目: 软件理论与方法
• 页码范围: 3-5
• 分类号: TP301
• 字数: 3296字
• 语种: 中文

摘要

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