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