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