Exercise

Exercise logic.propositional.dnf

Description
Proposition to DNF

F || (T /\ (q || ~r) /\ (~(~(T /\ q /\ ~q) /\ ~~(T /\ ~(p /\ ~q))) || ~(~(T /\ q /\ ~q) /\ ~~(T /\ ~(p /\ ~q)))))

ready: no

Feedback

path []
steps 0
major rules 0
active labels