Here is the problem.

F(w, x, y, z) = (xy' + w'z)(wx' + yz') please simplify and show the rules you apply.

Here is what I tried.

F(w, x, y, z) = (xy' + w'z)(wx' + yz') [given]

F(w, x, y, z) = xy'wx + xy'y'z + w'wzx + w'yz'z [distributive]

F(w, x, y, z) = y'w + xz' + zx'+ w'y [inverse]

Now i am stuck...it seems to me that it can be further simplified, I just can't see what rule to use to do it.

Also, while I'm at it.. I would like to double check this one.

F(x, y, z) = x'y + xyz' +xyz [given]

F(x, y, z)= x'y + xy(z'+z) [distributive]

F(x, y, z)= x'y + xy(1) [inverse]

F(x, y, z)= x'y +xy [identity]

F(x, y, z)= y(x'+x) [distributive]

F(x, y, z)= y [inverse, then identity again]

I have the feeling that I overcomplicated that one. Any tips?