Correction de l'exercice: formalisation et tables de vérités de propositions faisant intervenir conjonctions, implications, équivalences.