y∨(y∧(¬x))

$$y \vee \left(y \wedge \neg x\right)$$