Exercise logic.propositional.dnf

Description
Proposition to DNF

Derivation

Final term is not finished
(q || ~r) /\ T /\ ~~(~q /\ (q || p))
logic.propositional.andoveror
(q || ~r) /\ T /\ ~~((~q /\ q) || (~q /\ p))
logic.propositional.compland
(q || ~r) /\ T /\ ~~(F || (~q /\ p))
logic.propositional.falsezeroor
(q || ~r) /\ T /\ ~~(~q /\ p)