I need to prove that this expression is correct (in boolean algebra) and I can't figure out how.
Can anyone help me?
Thanks in advance
Working on the right-hand side,
xyz+wy'(x+z')&= xyz+wxy'+wy'z'\\ &=xyz+wxy'(z+z')+wy'z'\\ &=xyz+wxy'z+wxy'z'+wy'z'.
Now, working on the left-hand side,
wxy'z'+xyz+wy'z'+wxz &=wxy'z'+xyz+wy'z'+wx(y+y')z\\ &=wxy'z'+xyz+wy'z'+wxyz+wxy'z\\ &=wxy'z'+xyz(1+w)+wy'z'+wxy'z\\ &=wxy'z'+xyz+wy'z'+wxy'z