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