How can we prove $(x+yz)(y'+x)(y'+z')=x(y'+z')$ in a Boolean algebra $B$?
Asked
Active
Viewed 196 times
2 Answers
4
The first two factors simplified to $$(x+yz)(y'+x)$$
$$=(x+yz)(x+y')$$ $$=x+\{(yz).y'\}$$ $$=x+0$$ $$=x$$
Tapu
- 3,496
-
How did you get from the second step to the third step? – Pacerier May 07 '13 at 09:35
4
One way is proof by exhaustion:
\begin{matrix} x & y & z & (x+yz)(y'+x)(y'+z') & x(y'+z')\\ \hline False & False & False & False & False \\ False & False & True & False & False \\ False & True & False & False & False \\ False & True & True & False & False \\ True & False & False & True & True \\ True & False & True & True & True \\ True & True & False & True & True \\ True & True & True & False & False \end{matrix} Since the values match for any assignment of $(x,y,z)$, they are equal.
copper.hat
- 172,524