摘要：研究逻辑函数的化简方法具有重要理论价值和实际工程意义。基于真值表和卡诺图的等价性,本文提出一种基于真值表搜索的逻辑函数自动化简方法。在穷举搜索真值表中最小项组基础上,通过检查和合并而实现逻辑函数的自动化简。该方法不受变量数目限制,易于编程,为多变量数字系统的自动化设计提供了一条有效的系统化解决途径。

关键词：数字电路设计自动化 逻辑函数化简 简洁真值表 数字式最小项 最小项组 

单位：湖南工学院 湖南衡阳421002