X : (X+Y2)(~Z)
Y1 : X
Y2: Y1
Z : X