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