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