Exercise logic.propositional.dnf
Description
Proposition to DNF
Derivation
~~(~~(p /\ T) || (~~(F /\ r) /\ ~~(F /\ r)) || (q /\ T))
⇒ logic.propositional.notnot~~(p /\ T) || (~~(F /\ r) /\ ~~(F /\ r)) || (q /\ T)
⇒ logic.propositional.idempand~~(p /\ T) || ~~(F /\ r) || (q /\ T)
⇒ logic.propositional.notnot(p /\ T) || ~~(F /\ r) || (q /\ T)
⇒ logic.propositional.notnot(p /\ T) || (F /\ r) || (q /\ T)
⇒ logic.propositional.falsezeroand(p /\ T) || F || (q /\ T)
⇒ logic.propositional.falsezeroor(p /\ T) || (q /\ T)
⇒ logic.propositional.truezeroandp || (q /\ T)
⇒ logic.propositional.truezeroandp || q