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