真值表化简可简化数字逻辑电路的分析与设计.在人工智能理论中,命题逻辑值的判定和复合命题的等值关系判定也需要用到真值表及其化简.文中将真值表定义为逻辑信息系统,用粒矩阵由粗到细描述不同粒度空间下的知识,将真值表化简转化为通过粒矩阵运算实现的逻辑信息系统属性与属性值的约简,从而提出多变量真值表快速约简算法.并将算法应用到发光二极管七段数字显示器的设计中,实验分析表明文中算法的快速性和有效性.
Truth table reduction simplifies the analysis and the design of the digital logic circuit. It is also used for the judgment of the propositional logic value and the equivalence relation of the compound statement in the artificial intelligence theory. A granular matrix based rapid reduction algorithm for multivariable truth table is proposed in this paper by defining the truth table as the logic information system, and the granular matrix is introduced to describe the knowledge in different granular spaces. Then, the truth table reduction is converted to the attribute and the attribute value reduction of the logic information system implemented by granular matrix computation. As an example, the proposed algorithm is applied to the design of the light emitting diode seven segment display. The experimental results show high efficiency of the proposed method.