Exercise logic.propositional.dnf
Description
Proposition to DNF
Derivation
Final term is not finished((F || ~q) /\ ~((T /\ (p -> q)) || (T /\ (p -> q)))) -> (p || F)
⇒ logic.propositional.idempor((F || ~q) /\ ~(T /\ (p -> q))) -> (p || F)
⇒ logic.propositional.truezeroand((F || ~q) /\ ~(p -> q)) -> (p || F)
⇒ logic.propositional.defimpl((F || ~q) /\ ~(~p || q)) -> (p || F)