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