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