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