基于粒矩阵的多输入多输出真值表快速并行约简算法

来源：电子与信息学报杂志2015年第5期北京时间：

作者：陈泽华, 马贺

摘要：真值表是表征逻辑输入与输出之间因果关系的重要工具，真值表约简在数字逻辑电路的分析与设计中具有重要意义。该文将真值表看作逻辑信息系统，将真值表约简转化为逻辑信息系统的最简规则获取。采用粒计算分层粒化的思想，在不同粒度下，利用粒矩阵的知识表示形式、粒矩阵中的启发式知识以及粒矩阵运算，设计了多输入多输出真值表快速并行约简算法。以发光二极管七段数字显示器为例进行了算法说明，通过数学证明和算法复杂性分析证明了算法的正确性和有效性。

关键词：数字逻辑电路, 真值表, 粒度, 粒矩阵, 并行约简, 粒计算

基金资助：国家自然科学基金(61402319)和山西省回国留学人员科研资助项目(2013-031)资助课题