x1 | !x4
x1 | !x3 | !x4
x1 | x8 | x12
x2 | x11
!x7 | !x3 | x9
!x7 | x8 | !x9
x7 | x8 | !x10
x7 | x10 | !x12