0
$\begingroup$

(xy’+z)’\cdot((xz)’+y')

\begin{align*} (xy’+z)’\cdot ((xz)’+y’) &=(x'+yz’)\cdot (x’+z’+y’)\\ &=x’x’ + x’z’ + x’y’ + yz’x’ + yz’z’ + yz’y’\\ &=x’ + x’z’ + x’y’ + yz’x’ + yz’ + z’ \end{align*}

Can it be further simplified?

  • 1
    By De Morgan's Laws, $(ab)' = a'+b'$ and $(a+b)' = a'b'$. So $(xy'+z)' = ((xy')')z' = (x'+y)z' = x'z' + yz'$, but you have $x'+yz'$.2012-01-02

1 Answers 1

1

\begin{align*} (xy’+z)’\cdot ((xz)’+y’) &= (xy')'z'((xz)'+y')\\ &= (x'+y)z'(x'+z'+y')\\ &= (x'z' + yz')(x'+z'+y')\\ &= (x'z' + yz')x' + (x'z'+yz')z' + (x'z'+yz')y'\\ &= x'x'z' + x'yz' + x'z'z' + yz'z' + x'y'z' + yy'z'\\ &= x'z' + x'yz' + x'z' + yz' + x'y'z' + 0\\ &= x'z'(1+y+y') + yz'\\ &= x'z' + yz'\\ &= (x'+y)z'. \end{align*}

  • 0
    @DilipSarwate That z'(x'+z'+y')=z' (whatever it means exactly, which doesn't come as clear, but it doesn't matter) uses more than that (a(a+b))=a (and substitution). You have to use that (a+b)=(b+a) and possibly that (a+(b+c))=((a+b)+c) also. Of course, this isn't a problem for Boolean Algebra, but what you did relies on more than just that (a(a+b))=a (and substitution).2012-01-06