c table des propositions
c   P Q R
c   1 2 3
p cnf 3 3
 1 -1 -3 0
   -2  3 0
   -2 0