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