Exercise logic.propositional.dnf
Description
Proposition to DNF
Derivation
Final term is not finished(((~r /\ ~~(p /\ ~q)) || (q /\ ~~(p /\ ~q))) /\ ~~(p /\ ~q)) || (F /\ F /\ F)
⇒ logic.propositional.falsezeroand(((~r /\ ~~(p /\ ~q)) || (q /\ ~~(p /\ ~q))) /\ ~~(p /\ ~q)) || (F /\ F)