https://agreg-maths.fr/lecons/1051
Leçon 916 (2019) : Formules du calcul propositionnel : représentation, formes normales,...
Rapports du jury, propositions de plans, suggestions de développements pour la leçon 916 (2019)
formulescalculpropositionnelformesnormales