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