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