Conjunctive Representations in Contingent Planning: Prime Implicates Versus Minimal CNF Formula