计算机科学与探索

作者：闫心怡, 温馨, 陈泽华

单位：1. 太原理工大学 电气与动力工程学院，太原 0300242. 太原理工大学 大数据学院，太原 030024

关键词：真值表,规则发现,分辨矩阵,最小布尔表达式

真值表的化简对于逻辑电路的分析与设计具有及其重要的意义。对真值表的化简问题进行研究，提出了一种利用分辨矩阵从真值表中获取最小布尔表达式的粒分辨矩阵方法，实现其在逻辑优化中的应用。首先，将真值表视为逻辑信息系统，将真值表的化简问题转化为逻辑信息系统的最简规则发现问题。然后，在传统分辨矩阵的基础上，利用等价关系模型构造粒分辨矩阵，找出可以组织成最小布尔表达式的信息粒，利用信息粒的析取合取运算获得逻辑信息系统的最小布尔表达式。为进一步加快算法的收敛速度，引入启发式信息的概念，给出了组织信息粒的判定法则，避免在最小布尔表达式的获取中出现冗余逻辑项，使得布尔逻辑表达式最简，同时提高最小布尔表达式的获取效率，解决大规模逻辑电路的优化问题。最后，给出了详细的算法，并通过实例和理论证明说明了该方法的正确性和有效性。

来源：2021年第7期

《计算机科学与探索》期刊编辑部

查看计算机科学与探索杂志2021年第7期