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