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