Exercise logic.propositional.dnf
Description
Proposition to DNF
Derivation
Final term is not finished
(q || ~~p) /\ (r || q || (~(~p /\ (T || T)) /\ ~(~p /\ T)))
⇒ logic.propositional.idempor(q || ~~p) /\ (r || q || (~(~p /\ T) /\ ~(~p /\ T)))
Description
Proposition to DNF