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