boolean logic simplify

Question

To prove:

$(X+Y)(X'+Z) = XZ + X'Y$

I try to simply $(X+Y)(X'+Z)$ to $XZ + X'Y + YZ$

then I have no idea how to simply further.

Thanks in advance!!

score 2 · Answer 1 · answered Oct 01 '13 at 10:59

2

$$\begin{align} (X + Y)(X' + Z) & = (X+Y)X' + (X+Y)Z \\ \\ & = \underbrace{X'X}_{= 0} + X'Y + XZ + YZ \\ \\ & = X'Y + XZ + YZ \\ \\ & = X'Y + XZ + \underbrace{(X+ X')}_{= 1}YZ \\ \\ & = X'Y + XZ + XYZ + X'YZ \\ \\ & = X'Y\underbrace{(1 + Z)}_{= 1} + XZ\underbrace{(1 + Y)}_{= 1} \\ \\ &= X'Y + XZ \end{align}$$

answered Oct 01 '13 at 10:59

amWhy

209,954

$\ddot\smile$ +) – Mikasa Oct 16 '13 at 09:58

score 0 · Accepted Answer · answered Oct 01 '13 at 10:31

0

Write $YZ = (X+X^\prime)YZ = XYZ+X^\prime YZ$, then $$\begin{array}{rcl} XZ+X^\prime Y+YZ &=& XZ+X^\prime Y +XYZ+X^\prime YZ \\ &=& XZ(1+Y)+X^\prime Y(1+Z) \\ &=& XZ+X^\prime Y. \end{array}$$

answered Oct 01 '13 at 10:31

Abel

7,312

boolean logic simplify

2 Answers2