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