Exercise logic.propositional.dnf
Description
Proposition to DNF
Derivation
Final term is not finished(~(T /\ ~~p /\ ~~p) /\ ~~(p /\ T /\ q /\ T)) || (T /\ ~~~~p /\ ~(q /\ p))
Final term is not finishedFinal term is not finishedDescription
Proposition to DNF
Final term is not finished