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