Finally,several methods proposed in this paper were compared,and they can all be used to generate all minimal hitting sets,and compute both prime implicants and prime implicates.

• 最后对提到的几种方法进行了比较分析,指出这几种方法都可用于候选产生阶段,即产生所有的极小冲突集的极小碰集,还可用于计算本原蕴涵/蕴涵式。