Exercise logic.propositional.dnf

Description
Proposition to DNF

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

Feedback

Path 1

path[]
steps0
major rules0
active labels