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