Exercise logic.propositional.dnf

Description
Proposition to DNF

Derivation

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