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