相容关系模型及其在逻辑优化中的应用
来源：计算机科学与探索杂志2018年第3期北京时间：
作者：王好为，闫继雄，柴晶，陈泽华
单位：太原理工大学 信息工程学院，太原 030024
摘要：逻辑表达式化简是数字电路分析与设计的重要内容，基于相容关系的粒计算模型是处理不完备信息的有效工具。定义了不完备真值表，并将传统的逻辑表达式化简转化为不完备真值表的规则提取，从多粒度角度出发，在由粗到细的粒度空间下，计算每个属性集合的相容矩阵和逻辑关系矩阵，根据矩阵所包含信息之间的关系提出一种新的逻辑表达式化简算法。最后通过定理证明、实例分析和算法正确性分析验证了该算法的有效性。
关键词：逻辑表达式化简,粒计算,数字电路,相容矩阵
