Exercise

Exercise logic.propositional.dnf

Description
Proposition to DNF

Derivation

Final term is not finished

T /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ~(~p || ~~~(p /\ ~q) || ~(((T /\ q) || ~r || (T /\ q) || ~r) /\ ~~T) || ~((~q || ~q) /\ ~q /\ ~F) || ~(p /\ T))

T /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ~(~p || ~~~(p /\ ~q) || ~(((T /\ q) || ~r || (T /\ q) || ~r) /\ ~~T) || ~(~q /\ ~F) || ~(p /\ T))

T /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ~(~p || ~~~(p /\ ~q) || ~(((T /\ q) || ~r) /\ ~~T) || ~(~q /\ ~F) || ~(p /\ T))

T /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ~(~p || ~~~(p /\ ~q) || ~(((T /\ q) || ~r) /\ ~~T) || ~(~q /\ T) || ~(p /\ T))

T /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ~(~p || ~(p /\ ~q) || ~(((T /\ q) || ~r) /\ ~~T) || ~(~q /\ T) || ~(p /\ T))

T /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ~(~p || ~p || ~~q || ~(((T /\ q) || ~r) /\ ~~T) || ~(~q /\ T) || ~(p /\ T))

T /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ~(~p || ~~q || ~(((T /\ q) || ~r) /\ ~~T) || ~(~q /\ T) || ~(p /\ T))

T /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ~(~p || q || ~(((T /\ q) || ~r) /\ ~~T) || ~(~q /\ T) || ~(p /\ T))

T /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ~(~p || q || ~(((T /\ q) || ~r) /\ T) || ~(~q /\ T) || ~(p /\ T))

T /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ~(~p || q || ~((T /\ q) || ~r) || ~(~q /\ T) || ~(p /\ T))

T /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ~(~p || q || ~(q || ~r) || ~(~q /\ T) || ~(p /\ T))

T /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ~(~p || q || (~q /\ ~~r) || ~(~q /\ T) || ~(p /\ T))

T /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ~(~p || q || (~q /\ r) || ~(~q /\ T) || ~(p /\ T))

T /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ~(~p || q || (~q /\ r) || ~~q || ~(p /\ T))

T /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ~(~p || q || (~q /\ r) || q || ~(p /\ T))

T /\ ~F /\ T /\ ~~~~(p /\ ~q) /\ ~(~p || q || (~q /\ r) || q || ~p)