Exercise

Exercise logic.propositional.dnf

Description
Proposition to DNF

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

ready: no

Feedback

onefirst
allfirsts (78)
allapplications
derivation
microsteps

Path 1

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

enter dnf, check