基于粒矩阵的多变量真值表快速约简算法

真值表化简可简化数字逻辑电路的分析与设计.在人工智能理论中,命题逻辑值的判定和复合命题的等值关系判定也需要用到真值表及其化简.文中将真值表定义为逻辑信息系统,用粒矩阵由粗到细描述不同粒度空间下的知识,将真值表化简转化为通过粒矩阵运算实现的逻辑信息系统属性与属性值的约简,从而提出多变量真值表快速约简算法.并将算法应用到发光二极管七段数字显示器的设计中,实验分析表明文中算法的快速性和有效性.