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