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