format_dnf function

Rewrite a list of clauses to a string containing a Boolean formula in disjunctive normal form