X : (X)(~Y)
Y : (~X)(Y)
