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