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