Exercise logic.propositional.dnf

Description
Proposition to DNF

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

Feedback

Path 1

path[]
steps0
major rules0
active labels