Exercise logic.propositional.dnf
Description
Proposition to DNF
Derivation
~(~(q /\ ~q) /\ ~(~q /\ p)) /\ (~r || q)
⇒ logic.propositional.compland~(~F /\ ~(~q /\ p)) /\ (~r || q)
⇒ logic.propositional.notfalse~(T /\ ~(~q /\ p)) /\ (~r || q)
⇒ logic.propositional.truezeroand~~(~q /\ p) /\ (~r || q)
⇒ logic.propositional.notnot~q /\ p /\ (~r || q)
⇒ logic.propositional.andoveror(~q /\ p /\ ~r) || (~q /\ p /\ q)