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