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