1
$\begingroup$

i have this expression to put in the XOR forms.

X'YZ + XY'Z + XYZ'

The steps i did already are these ones:

Z(X'Y + XY') + XYZ'
Z(X^Y) + XYZ'

But if i put the same expression on WolframAlpha it says that the final solution should be:

XY ^ XZ ^ YZ ^ XYZ

i know that AB' + A'B = A^B, but in this case i dont know how X^Y can be correlated to XY and obtain the full solution.

Can someone help me?

Thank you

$\endgroup$
1
$\begingroup$

\begin{eqnarray*} XY \hat{ } XZ \hat{ } YZ \hat{ } XYZ & = & (XY (XZ)^{'}+ (XY)^{'}XZ) \hat{ }(YZ (XYZ)^{'}+ (YZ)^{'}XYZ) \\ & = & (XY (X^{'}+Z^{'})+ (X^{'}+Y^{'})XZ) \hat{ } (YZ (X^{'}+Y^{'}+Z^{'})+ (Y^{'}+Z^{'})XYZ) \\ & = & (XY Z^{'}+ Y^{'}XZ)\hat{ }(YZ X^{'}) \\ & = & (XY Z^{'}+ Y^{'}XZ)^{'}(X^{'} YZ )+(XY Z^{'}+ Y^{'}XZ)(YZ X^{'})^{'} \\ & = & ((XY Z^{'})^{'} (Y^{'}XZ)^{'})(X^{'} YZ )+(XY Z^{'}+ Y^{'}XZ)(Y^{'}+Z^{'} +X) \\ & = & (X^{'}+Y^{'}+ Z) (X^{'}+Y+Z^{'})(X^{'} YZ )+XY Z^{'}+ Y^{'}XZ \\ & = & X^{'} YZ +XY Z^{'}+ Y^{'}XZ \\ \end{eqnarray*}

$\endgroup$
  • $\begingroup$ Really thanks, but how can you write X'YZ as (X′+Y′+Z)(X′+Y+Z′)(X′YZ)?? $\endgroup$ – MatPag Mar 20 '17 at 15:43
  • $\begingroup$ Expand out the nine terms, $5$ will be killed by $b b^{'}=0$, leaving the 4 terms $X^{'}X^{'}X^{'}YZ+X^{'}YX^{'}YZ+ZX^{'}X^{'}YZ+ZYX^{'}YZ$, these are all equal to $X^{'}YZ$, then use $a+a=a$. This was a sizeable leap. ... Problems like this are probably most easily verified by using a truth table ... Boolean algebra is tough (espacially if you are required to state every axiom that is used !) $\endgroup$ – Donald Splutterwit Mar 20 '17 at 20:17

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.