Cannot simplify this boolean expression

66 Views Asked by At

I have this boolean expression: $$x'y'w' + yz + xzw'.$$

It should lend itself to being simplified to $$x'y'w' + yz + zw'$$ (I also checked the result with Mathematica) algebraically (i.e. axioms of Boolean Algebras).

I've tried every possible way I could think of but I cannot simplify it, so I ask if any of you can do this.

1

There are 1 best solutions below

1
On BEST ANSWER

$$x'y'w'+yz+xzw'\overset{Adjacency \times 3}=$$

$$x'y'zw'+x'y'z'w'+yzw+yzw'+xyzw'+xy'zw'\overset{Absorption}=$$

$$x'y'zw'+x'y'z'w'+yzw+yzw'+xy'zw'\overset{Idempotence \times 2}=$$

$$x'y'zw'+x'y'z'w'+yzw+yzw'+yzw'+xy'zw'+x'y'zw'\overset{Adjacency}=$$

$$x'y'zw'+x'y'z'w'+yzw+yzw'+yzw'+y'zw'\overset{Adjacency \times 3}=$$

$$x'y'w'+yz+zw'$$