Exercise

Exercise logic.propositional.dnf

Description
Proposition to DNF

~((~~(q -> r) /\ ~q /\ ~r) || ~(~(q -> r) || q || r))

ready: no

Feedback

path [0, 2, 0, 0, 2, 0, 0]
steps 7
major rules 1
active labels
dnf
specialdemorgannot

enter dnf, check, navigator.down, check, enter specialdemorgannot, check, logic.propositional.gendemorganor