Exercise logic.propositional.dnf

Description
Proposition to DNF

~~~~(T /\ p /\ ~q) /\ ~F /\ ~(~p || ~(T /\ ~(F || q))) /\ ~~~q /\ ~~(~~T /\ T) /\ ~(~~F || ~~~(~~p /\ ~q)) /\ ~(~(((T /\ q) || ~r) /\ p) || ~T)
ready: no

Feedback

Path 1

path[]
steps0
major rules0
active labels