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.

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