X : (Y+X)(~Z)
Y : X
Z : X
