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