I've been trying to perform Boolean simplification on the following expression: $y(x' + (x+y)')$
So far, my steps have been:
$y(x' + (x+y)')$
$y(x' + x'y')$
$y(x' + x')(x' + y')$
$(yx')(x' + y') $
I have no idea where to go from here. I feel as if I've complicated this. I know the end result is supposed to be $x'y$.
$x' + x'y'$ simplifies to $x'$.