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