Exercise logic.propositional.cnf

Description
Proposition to CNF

Derivation

(T /\ (r -> q)) || ~q

⇒ logic.propositional.defimpl

(T /\ (~r || q)) || ~q

⇒ logic.propositional.truezeroand

~r || q || ~q