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