Update function cnf (for transform to cnf)

* the result begins every time with an AND
* every clause begins every time with an OR