Right, you'll notice that the (WX) term is redundant, as X will already have to be true for WX to be true, and X alone is sufficient to make Z true as well.
EDIT: I was wrong here to say throw away the X term.
Look at this this way with the (I think) associative property.
If you have an expression like A(B + C) you can rewrite the equation AB + AC. Similarly you can write A(B+1) = AB + A. If you apply that to your expression, you should be able to see how to simplify.