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