Exercise logic.propositional.dnf

Description
Proposition to DNF

Derivation

~~~~(~q /\ (q || p)) /\ (q || (T /\ ~(r /\ T))) /\ T
logic.propositional.truezeroand
~~~~(~q /\ (q || p)) /\ (q || (T /\ ~(r /\ T)))
logic.propositional.notnot
~~(~q /\ (q || p)) /\ (q || (T /\ ~(r /\ T)))
logic.propositional.notnot
~q /\ (q || p) /\ (q || (T /\ ~(r /\ T)))
logic.propositional.truezeroand
~q /\ (q || p) /\ (q || ~(r /\ T))
logic.propositional.truezeroand
~q /\ (q || p) /\ (q || ~r)
logic.propositional.andoveror
((~q /\ q) || (~q /\ p)) /\ (q || ~r)
logic.propositional.compland
(F || (~q /\ p)) /\ (q || ~r)
logic.propositional.falsezeroor
~q /\ p /\ (q || ~r)
logic.propositional.andoveror
(~q /\ p /\ q) || (~q /\ p /\ ~r)