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