Exercise logic.propositional.dnf
Description
Proposition to DNF
Derivation
F || (~~p /\ T /\ T /\ T /\ T /\ T /\ T /\ p /\ p /\ p) || q
⇒ logic.propositional.idempandF || (~~p /\ T /\ T /\ T /\ T /\ T /\ T /\ p /\ p) || q
⇒ logic.propositional.idempandF || (~~p /\ T /\ T /\ T /\ T /\ T /\ T /\ p) || q
⇒ logic.propositional.idempandF || (~~p /\ T /\ T /\ T /\ T /\ T /\ p) || q
⇒ logic.propositional.idempandF || (~~p /\ T /\ T /\ T /\ T /\ p) || q
⇒ logic.propositional.idempandF || (~~p /\ T /\ T /\ T /\ p) || q
⇒ logic.propositional.idempandF || (~~p /\ T /\ T /\ p) || q
⇒ logic.propositional.idempandF || (~~p /\ T /\ p) || q
⇒ logic.propositional.truezeroandF || (~~p /\ p) || q
⇒ logic.propositional.notnotF || (p /\ p) || q
⇒ logic.propositional.idempandF || p || q