相容关系模型及其在逻辑优化中的应用

摘要：

逻辑表达式化简是数字电路分析与设计的重要内容,基于相容关系的粒计算模型是处理不完备信息的有效工具.定义了不完备真值表,并将传统的逻辑表达式化简转化为不完备真值表的规则提取,从多粒度角度出发,在由粗到细的粒度空间下,计算每个属性集合的相容矩阵和逻辑关系矩阵,根据矩阵所包含信息之间的关系提出一种新的逻辑表达式化简算法.最后通过定理证明、实例分析和算法正确性分析验证了该算法的有效性.

关键词：逻辑表达式化简、粒计算、数字电路、相容矩阵

所属期刊栏目：12

分类号：TP301(计算技术、计算机技术)

资助基金：The National Natural Science Foundation of China under Grant Nos.61402319,61403273;the Natural Science Foundation of Shanxi Province under Grant No.2014021022-4

在线出版日期：2018-03-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共9页

页码：502-510