Exercise logic.propositional.dnf

Description
Proposition to DNF

Derivation

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