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