Simplify tableau_dnf_do().