# Simplify boolean expression

$(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?

-
>Can it be further simplified? Perhaps, using $x' + x'y' = x'$ which you may have seen as $x+xy=x$. But you should check your work at the very first step. If $x=0,y=0,z=1$, we have $xy'+z=1, (xy'+z)'=0$ and so the expression you have to simplify has value $0$. But $x'+yz'=1$ and $x'+z'+y'=1$ also, and so $$0=(xy'+z)'.((xz)'+y') \neq (x'+yz').(x'+z'+y') = 1$$ when $x=0,y=0,z=1$. – Dilip Sarwate Jan 2 '12 at 18:08
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'$. – Arturo Magidin Jan 2 '12 at 18:26

\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*}
Alternatively, setting $z^\prime(x^\prime+z^\prime+y^\prime)=z^\prime$ in the second line (using $a(a+b)=a$) gets us to the end result much more quickly. – Dilip Sarwate Jan 2 '12 at 21:53
{"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 1, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0, "katex": 0, "math-container": 0, "wp-katex-eq": 0, "align": 0, "equation": 0, "x-ck12": 0, "texerror": 0, "url": "http://math.stackexchange.com/questions/95818/simplify-boolean-expression?answertab=votes", "fetch_time": 1455153213000000000, "content_mime_type": "text/html", "warc_filename": "crawl-data/CC-MAIN-2016-07/segments/1454701160918.28/warc/CC-MAIN-20160205193920-00110-ip-10-236-182-209.ec2.internal.warc.gz", "warc_record_offset": 147188116, "warc_record_length": 17134, "token_count": 652, "char_count": 1363, "score": 4.53125, "int_score": 5, "crawl": "CC-MAIN-2016-07", "snapshot_type": "longest", "language": "en", "language_score": 0.5798220634460449, "file_path": "/sailhome/yjruan/project/latent-lm/data/processed/finemath-4plus/finemath-4plus/train-00007-of-00064.parquet"}