Exercise logic.propositional.dnf
Description
Proposition to DNF
Derivation
(~~T /\ ((F /\ r) || q)) || (~~T /\ p)
⇒ logic.propositional.falsezeroand(~~T /\ (F || q)) || (~~T /\ p)
⇒ logic.propositional.falsezeroor(~~T /\ q) || (~~T /\ p)
⇒ logic.propositional.notnot(T /\ q) || (~~T /\ p)
⇒ logic.propositional.notnot(T /\ q) || (T /\ p)
⇒ logic.propositional.truezeroandq || (T /\ p)
⇒ logic.propositional.truezeroandq || p