基于真值表和卡诺图的等价性，本文提出一种基于真值表搜索的逻辑函数自动化简方法。
Based on the equivalence of the true table and Karnaugh map, a novel general method of simplifying logical functions is proposed in this paper.
实质蕴涵因其刻划真值函数关系故此并非传统逻辑表示充分条件关系的“若，则”的逻辑抽象。
Material implication, which describes a kind of truth value function, is naturally not the logic abstract of the sufficient condition relation.
内容包括逻辑真值表，逻辑函数式，卡诺图。
The Maximum Formula of Logic Function and Its Simplification of Karnaugh Diagram;
应用推荐