Exercise logic.propositional.dnf
Description
Proposition to DNF
Derivation
T /\ ((q /\ T /\ ~(q /\ q)) || (p /\ ~r /\ T /\ ~(q /\ q)))
⇒ logic.propositional.truezeroand(q /\ T /\ ~(q /\ q)) || (p /\ ~r /\ T /\ ~(q /\ q))
⇒ logic.propositional.truezeroand(q /\ ~(q /\ q)) || (p /\ ~r /\ T /\ ~(q /\ q))
⇒ logic.propositional.idempand(q /\ ~q) || (p /\ ~r /\ T /\ ~(q /\ q))
⇒ logic.propositional.complandF || (p /\ ~r /\ T /\ ~(q /\ q))
⇒ logic.propositional.falsezeroorp /\ ~r /\ T /\ ~(q /\ q)
⇒ logic.propositional.truezeroandp /\ ~r /\ ~(q /\ q)
⇒ logic.propositional.idempandp /\ ~r /\ ~q