Exercise logic.propositional.dnf
Description
Proposition to DNF
Derivation
F || (p /\ p) || (T /\ T /\ ~~q)
⇒ logic.propositional.falsezeroor(p /\ p) || (T /\ T /\ ~~q)
⇒ logic.propositional.idempandp || (T /\ T /\ ~~q)
⇒ logic.propositional.idempandp || (T /\ ~~q)
⇒ logic.propositional.truezeroandp || ~~q
⇒ logic.propositional.notnotp || q