Exercise logic.propositional.dnf
Description
Proposition to DNF
Derivation
Final term is not finished~(~(p /\ ~q) /\ ~(q /\ ~q)) /\ (F || ~~((T /\ ~~T /\ q) || (~r /\ ~F)))
⇒ logic.propositional.notnot~(~(p /\ ~q) /\ ~(q /\ ~q)) /\ (F || (T /\ ~~T /\ q) || (~r /\ ~F))
⇒ logic.propositional.notfalse~(~(p /\ ~q) /\ ~(q /\ ~q)) /\ (F || (T /\ ~~T /\ q) || (~r /\ T))
⇒ logic.propositional.truezeroand~(~(p /\ ~q) /\ ~(q /\ ~q)) /\ (F || (~~T /\ q) || (~r /\ T))
⇒ logic.propositional.notnot~(~(p /\ ~q) /\ ~(q /\ ~q)) /\ (F || (T /\ q) || (~r /\ T))
⇒ logic.propositional.truezeroand~(~(p /\ ~q) /\ ~(q /\ ~q)) /\ (F || q || (~r /\ T))
⇒ logic.propositional.truezeroand~(~(p /\ ~q) /\ ~(q /\ ~q)) /\ (F || q || ~r)