Exercise logic.propositional.dnf
Description
Proposition to DNF
Derivation
(~(F || p) /\ p /\ (F || q)) || (~~(F || p) /\ ~(p /\ (F || q)))
⇒ logic.propositional.falsezeroor(~p /\ p /\ (F || q)) || (~~(F || p) /\ ~(p /\ (F || q)))
⇒ logic.propositional.compland(F /\ (F || q)) || (~~(F || p) /\ ~(p /\ (F || q)))
⇒ logic.propositional.absorpandF || (~~(F || p) /\ ~(p /\ (F || q)))
⇒ logic.propositional.falsezeroor~~(F || p) /\ ~(p /\ (F || q))
⇒ logic.propositional.falsezeroor~~(F || p) /\ ~(p /\ q)
⇒ logic.propositional.notnot(F || p) /\ ~(p /\ q)
⇒ logic.propositional.falsezeroorp /\ ~(p /\ q)
⇒ logic.propositional.demorganandp /\ (~p || ~q)
⇒ logic.propositional.andoveror(p /\ ~p) || (p /\ ~q)
⇒ logic.propositional.complandF || (p /\ ~q)
⇒ logic.propositional.falsezeroorp /\ ~q