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