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