I have three binary variables: $x,y,z$.
I want to define $U$ as follows: $$U = x \wedge (y \vee z)$$
Following this, I have already tried defining
$$yz = y \vee z$$
and then, doing
$$U = x \wedge yz$$
But this adds too many variables and constraints to my problem (since $yz$ has $810000$ variables). Is there any simpler approach for linearizing this?
If it helps, in my problem, when $x = 0$, $y,z=1$.