x1 : x4 + x5 + x6
x2 : ~x1
x3 : x4 + x5 + x6
x4 : (~x1)(~x3)
x5 : x2 + x4
x6 : x2
