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