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