3-SAT NP complet, 2-SAT dans P

3SAT NP-complet c'est le théorème de Cook : https://agreg-maths.fr/developpements/206