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