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