Exercise logic.propositional.dnf

Description
Proposition to DNF

Derivation

Final term is not finished

~(~q /\ r) /\ (~F || ~F) /\ ~F /\ ~((~q /\ ~p) || (T /\ ~~q))

⇒ logic.propositional.idempor

~(~q /\ r) /\ ~F /\ ~F /\ ~((~q /\ ~p) || (T /\ ~~q))

⇒ logic.propositional.notfalse

~(~q /\ r) /\ T /\ ~F /\ ~((~q /\ ~p) || (T /\ ~~q))