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.