Exercise

Exercise logic.propositional.dnf

Description
Proposition to DNF

Derivation

Final term is not finished

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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