Exercise

Exercise logic.propositional.dnf

Description
Proposition to DNF

Derivation

Final term is not finished

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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