Exercise logic.propositional.dnf

Description
Proposition to DNF

Derivation

Final term is not finished

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

⇒ logic.propositional.truezeroand

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

⇒ logic.propositional.compland

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

⇒ logic.propositional.falsezeroand

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

⇒ logic.propositional.falsezeroor

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

⇒ logic.propositional.notnot

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

⇒ logic.propositional.demorganand

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

⇒ logic.propositional.andoveror

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

⇒ logic.propositional.compland

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

⇒ logic.propositional.falsezeroor

~~(~q /\ p)