X1 : ~Z1
Y1 : (~X1)(~X2)
Z1 : ~Y1
X2 : ~Z2
Y2 : (~X2)(~X1)
Z2 : ~Y2
