X1 : (X1)(~X2 + ~X4)
X2 : (X1)(~X3)
X3 : X2 
X4 : (X1)(~X3)
