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