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