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