Simplification algébrique des fonctions logiques exercices