Logique Ensemble de class et fonction pour transformer une expression logique en CNF pour l'utiliser dans MiniSAT.