X1 : X8
X2 : X1
X3 : X2
X4 : (~X3)(~X5)
X5 : X4
X6 : X5
X7: ~X6
X8 : ~X7
