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