Exercise

Exercise logic.propositional.dnf

Description
Proposition to DNF

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

ready: no

Feedback

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

enter dnf, check, enter eliminateimplequiv, navigator.down, navigator.down, navigator.right, navigator.down, logic.propositional.defimpl