Exercise logic.propositional.dnf
Description
Proposition to DNF
Derivation
T /\ T /\ ~F /\ T /\ T /\ ((~q /\ T /\ q) || (~q /\ T /\ p /\ ~r))
⇒ logic.propositional.idempandT /\ ~F /\ T /\ T /\ ((~q /\ T /\ q) || (~q /\ T /\ p /\ ~r))
⇒ logic.propositional.idempandT /\ ~F /\ T /\ ((~q /\ T /\ q) || (~q /\ T /\ p /\ ~r))
⇒ logic.propositional.truezeroand~F /\ T /\ ((~q /\ T /\ q) || (~q /\ T /\ p /\ ~r))
⇒ logic.propositional.truezeroand~F /\ ((~q /\ T /\ q) || (~q /\ T /\ p /\ ~r))
⇒ logic.propositional.notfalseT /\ ((~q /\ T /\ q) || (~q /\ T /\ p /\ ~r))
⇒ logic.propositional.truezeroand(~q /\ T /\ q) || (~q /\ T /\ p /\ ~r)
⇒ logic.propositional.truezeroand(~q /\ q) || (~q /\ T /\ p /\ ~r)
⇒ logic.propositional.complandF || (~q /\ T /\ p /\ ~r)
⇒ logic.propositional.falsezeroor~q /\ T /\ p /\ ~r
⇒ logic.propositional.truezeroand~q /\ p /\ ~r