Exercise logic.propositional.dnf
Description
Proposition to DNF
Derivation
q || (~(~p /\ ~p) /\ ~(~p /\ ~p)) || F
⇒ logic.propositional.idempandq || ~(~p /\ ~p) || F
⇒ logic.propositional.idempandq || ~~p || F
⇒ logic.propositional.notnotq || p || F