基于真值表搜索的逻辑函数自动化简方法

A novel general method of simplifying logical functions based the true table search

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

It is very valuable to study on simplifying logical functions in theory and engineering. Based on the equivalence of the true table and Karnaugh map, a novel general method of simplifying logical functions is proposed in this paper. All the strategy for searching the pre-processed true table, the examination and treatment of the minimum term assembles and the results synthesis are analyzed in it. Compared to the Karnaugh map, the proposed method is free from the number of the variables in the logical function, can be easily programmed, and can provide a systemic way for simplifying logical functions with any logic variables.