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