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