Exercise logic.propositional.dnf

Description
Proposition to DNF

Derivation

Final term is not finished

~~(((~p /\ (~p || F)) || (~p /\ ~p)) <-> (p /\ q))

⇒ logic.propositional.falsezeroor

~~(((~p /\ ~p) || (~p /\ ~p)) <-> (p /\ q))