论文部分内容阅读
提出了基于粗糙集理论对逻辑函数进行知识表达的方法，给出了运用粗糙集进行组合逻辑化简的优化算法．为保证化简前后逻辑上的等价性，用化简前的逻辑矩阵中的on—set项是否被化简后的off—set项的补完全覆盖的方法进行检验，结果表明化简前后是等价的．算法通过了对20变量以下的组合逻辑函数标准的Benchmark例题和部分组合逻辑函数典型实例验证，保证了优化结果正确性和有效性．