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