Simplification négation logique.