Exercise logic.propositional.dnf
Description
Proposition to DNF
Derivation
~((F || q) /\ (r || q)) -> ~~p
⇒ logic.propositional.falsezeroor~(q /\ (r || q)) -> ~~p
⇒ logic.propositional.absorpand~q -> ~~p
⇒ logic.propositional.notnot~q -> p
⇒ logic.propositional.defimpl~~q || p
⇒ logic.propositional.notnotq || p