Abstract: Facing to configuration reasonableness testing of new products and conflict and redundancy testing for new configuration constraints，a representation of compound configuration constraints based on Boolean equation group is presented in this paper.Necessary and sufficient conditions for compatibility and redundancy are derived and algorithm of configuration reasonableness testing is discussed.Instance indicates this representation facilitates conflict and redundancy testing of new constraints to rule base and configuration reasonableness testing of new products is simplified.

Key words: compound configuration constraint, knowledge examination, Boolean equation group

摘要： 针对实例的配置合理性审核以及复合配置约束入库前的冗余和一致审核，提出了一种基于布尔方程组的复合配置约束表达形式，给出了配置约束冗余和一致判定的充分必要条件以及配置合理性审核的算法。实例表明，这种表达形式有利于对于新加入规则库的配置约束进行冗余和一致审核，并且使实例的配置合理性审核得到简化。

关键词: 复合配置约束, 知识审核, 布尔方程组