Exercise logic.propositional.dnf

Description
Proposition to DNF

Derivation

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

⇒ logic.propositional.truezeroand

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

⇒ logic.propositional.falsezeroand

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

⇒ logic.propositional.falsezeroor

~(~p || (p /\ q))

⇒ logic.propositional.oroverand

~((~p || p) /\ (~p || q))

⇒ logic.propositional.complor

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

⇒ logic.propositional.truezeroand

~(~p || q)

⇒ logic.propositional.demorganor

~~p /\ ~q

⇒ logic.propositional.notnot

p /\ ~q