Propositional tableaux implementation using dnf().