# (-x6 V -x13) A (x4 V x2) A (-x2 V -x1) A (x5 V -x8) A (x11 V -x11) A (-x11 V x5) A (-x10 V -x3) A (x1 V -x5) A (-x12 V -x3) A (-x13 V x8) A (-x11 V -x13) A (-x1 V -x9) A (x6 V x2) A (-x10 V x6) A (x11 V -x1) A (x4 V x8) A (-x4 V x7) A (x10 V -x14) A (-x7 V x12) A (-x9 V -x7) A (x4 V -x13) A (x3 V -x2) A (-x12 V x6) A (-x11 V -x13) A (x14 V -x13) A (-x2 V -x10) A (-x3 V -x9) A (x2 V -x5) A (-x7 V x14) A (-x3 V -x2)  TRUE assignment:-1  1 -1  1 -1  1  1 -1 -1  1  1 -1  1 -1 -1  1 -1  1  1 -1 -1  1  1 -1 -1  1  1 -1
-6 -13
4 2
-2 -1
5 -8
11 -11
-11 5
-10 -3
1 -5
-12 -3
-13 8
-11 -13
-1 -9
6 2
-10 6
11 -1
4 8
-4 7
10 -14
-7 12
-9 -7
4 -13
3 -2
-12 6
-11 -13
14 -13
-2 -10
-3 -9
2 -5
-7 14
-3 -2