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