Méthodes informatiques de résolution du problème SAT / A

!"
#$
"
"
 %%
&'(""

)
*
+
 ,
,$
*-$
.*
*+-
*/-
* -0,1.*+-2→
*↔-

3
4500$6620$27721
,$,7
41*1
,$4,7
4*
*0428+9:7
4*7
*$
7

;
*50 2+.0+2→
4500$20,22
4*