Exercise logic.propositional.dnf
Description
Proposition to DNF
Derivation
F || (F /\ r) || ((~~(p || F) || q) /\ (~~p || q))
⇒ logic.propositional.absorporF || ((~~(p || F) || q) /\ (~~p || q))
⇒ logic.propositional.falsezeroor(~~(p || F) || q) /\ (~~p || q)
⇒ logic.propositional.notnot(p || F || q) /\ (~~p || q)
⇒ logic.propositional.falsezeroor(p || q) /\ (~~p || q)
⇒ logic.propositional.notnot(p || q) /\ (p || q)
⇒ logic.propositional.idempandp || q