Full Adder boolean Algebra simplification

22k Views Asked by At

I have an expression here from the Full Adder circuit, used for binary addition. One equation used to make it work, is this one:

$$C = xy + xz + yz \tag{1}$$

Now, the book transforms this equation into this: $$C = z(x'y + xy') + xy \tag{2}$$

In the immediate step, the do this: $$C = z(x \oplus y) + xy \tag{3}$$

Now, my question is how does the second equation come from the first one?

1

There are 1 best solutions below

3
On BEST ANSWER

\begin{align*} C & = xy + xz + yz\\ & = xy + x(y + y')z + (x + x')yz \\ & = xy + xyz + xy'z + xyz + x'yz \\ & = xy(1 + z + z) + (xy' + x'y)z \\ & = xy + (xy' + x'y)z \\ & = xy + (x \oplus y)z \end{align*}