Exercise

Exercise logic.propositional.dnf

Description
Proposition to DNF

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

ready: no

Feedback

path [0, 2, 0, 0, 5, 0, 3, 2]
steps 8
major rules 1
active labels
dnf
distrand

enter dnf, check, navigator.down, check, enter distrand, navigator.down, navigator.right, logic.propositional.andoveror