Return to Article Details Prime Implicates and Prime Implicants: From Propositional to Modal Logic Download Download PDF