Examen de logique 1 Satisfiabilité et validité (6 points)

tautologie exercice corrigé