Prime Implicates and Prime Implicants: From Propositional to Modal Logic | Read Paper on Bytez