X1 : ~Z1
Z1 : ~Y
Y : (~X1)(~X2)
X2 : ~Z2
Z2 : ~Y
