规则集的化简及相关性质的判定,张亦舜,,任给一个规则集,确定其等价的最简规则集,此理论问题的解决对实际构建专家系统的核心组成部分规则库有重要意义。本文引入逻辑代