X : ~Z
Y : ~X
Z : ~Y
