Prime Implicates and Prime Implicants: From Propositional to Modal Logic

Open in new window