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