Exercise logic.propositional.dnf
Description
Proposition to DNF
Derivation
(((q /\ ~q) || (T /\ p /\ ~q)) /\ q) || (((q /\ ~q) || (T /\ p /\ ~q)) /\ ~r)
⇒ logic.propositional.compland((F || (T /\ p /\ ~q)) /\ q) || (((q /\ ~q) || (T /\ p /\ ~q)) /\ ~r)
⇒ logic.propositional.compland((F || (T /\ p /\ ~q)) /\ q) || ((F || (T /\ p /\ ~q)) /\ ~r)
⇒ logic.propositional.falsezeroor(T /\ p /\ ~q /\ q) || ((F || (T /\ p /\ ~q)) /\ ~r)
⇒ logic.propositional.compland(T /\ p /\ F) || ((F || (T /\ p /\ ~q)) /\ ~r)
⇒ logic.propositional.falsezeroandF || ((F || (T /\ p /\ ~q)) /\ ~r)
⇒ logic.propositional.falsezeroor(F || (T /\ p /\ ~q)) /\ ~r
⇒ logic.propositional.falsezeroorT /\ p /\ ~q /\ ~r
⇒ logic.propositional.truezeroandp /\ ~q /\ ~r