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