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