逻辑函数的粗糙集表达及最小化方法  

Expression in rough set for logic function and a method of minimization

作　　者：张义清[1] 管致锦[2] 李洵[1] 

机构地区：[1]南通大学理学院,江苏南通226007 [2]南通大学计算机科学与技术学院,江苏南通226007

出　　处：《黑龙江大学自然科学学报》2006年第2期265-268,共4页Journal of Natural Science of Heilongjiang University

基　　金：江苏省自然科学基金资助项目(BK2001130);南通大学自然科学基金资助项目(05Z005)

摘　　要：提出了基于粗糙集理论对逻辑函数进行知识表达的方法,给出了运用粗糙集进行组合逻辑化简的优化算法.为保证化简前后逻辑上的等价性,用化简前的逻辑矩阵中的on-set项是否被化简后的off-set项的补完全覆盖的方法进行检验,结果表明化简前后是等价的.算法通过了对20变量以下的组合逻辑函数标准的Benchmark例题和部分组合逻辑函数典型实例验证,保证了优化结果正确性和有效性.A method of knowledge expression on based rough set theory for logic function is proposed. A ＇minimization algorithm of simplifying logic function by using rough set is given. The logical equivalence of simplifying was validated by whether the on - set terms in logical matrix in before is completely covered by complemented set of the off - set terms in after. It is shown that they are equivalence. The algorithm is a doable - effective method by some examples and Standard Benchmark＇s sample proved.

关 键 词：逻辑函数 粗糙集 最小化 

分 类 号：TP18[自动化与计算机技术—控制理论与控制工程]