Exercise logic.propositional.dnf

Description
Proposition to DNF

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

Feedback

Path 1

path[]
steps0
major rules0
active labels