(2015 : 916 - Formules du calcul propositionnel : représentation, formes normales, satisfiabilité. Applications.)
Le jury attend des candidats qu'ils abordent les questions de la complexité de la satisfiabilité.
Pour autant, les applications ne sauraient se réduire à la réduction de problèmes NP-complets à SAT.
Une partie significative du plan doit être consacrée à la représentation des formules et à leurs formes
normales.