逻辑函数计算机辅助化简的研究与应用

Research and application of computer-aided simplification of logic function

代数法和卡诺图法是经典的逻辑函数化简方法,但它们难以化简规模大的逻辑函数。基于此,本文提出一种适用于计算机分析和处理的遍历消元化简方法,它通过遍历逻辑表达式的所有变量和与项,查找并删除表达式的全部冗余变量和与项的方法进行化简。在VB平台下编程实现,测试表明,该方法容易编程实现,运行速度快,适合于规模大的逻辑函数化简,并支持带约束项的逻辑函数化简。遍历消元化简方法为规模大的逻辑函数化简提供新方法,在工程上有应用价值。