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