Exercise logic.propositional.dnf
Description
Proposition to DNF
Derivation
F || (((~T /\ r) || ~~p || (q /\ T)) /\ ((~T /\ r) || ~~p || (q /\ T)))
⇒ logic.propositional.idempandF || (~T /\ r) || ~~p || (q /\ T)
⇒ logic.propositional.notnotF || (~T /\ r) || p || (q /\ T)
⇒ logic.propositional.nottrueF || (F /\ r) || p || (q /\ T)
⇒ logic.propositional.falsezeroandF || F || p || (q /\ T)
⇒ logic.propositional.falsezeroorF || p || (q /\ T)
⇒ logic.propositional.truezeroandF || p || q