cnf-tranformer to only have not, and, or only in a formula