# (-x4 V x3) A (-x1 V -x2) A (x5 V -x2) A (-x1 V x7) A (-x1 V -x5) A (-x1 V -x4) A (-x1 V x2) A (x2 V x2) A (x2 V -x1) A (x3 V x7)  TRUE assignment:-1  1  1 -1  1 -1  1 -1  1 -1  1 -1  1 -1
-4 3
-1 -2
5 -2
-1 7
-1 -5
-1 -4
-1 2
2 2
2 -1
3 7