我更喜欢 OP 的洞察力，但这里是一步一步的解决方案。

(W +Y)(W Z + W Z')(W Y) + Y

(W + Y) {W (Z + Z')} (W Y) + Y

(W + Y) {W (1)}( W Y) + Y

(W + Y) (W) (W Y) + Y

(W) (W + Y) (W Y) + Y

(W W + W Y)(W Y) + Y

(W + W Y) (W Y ) + Y

{W(1 + Y)} (W Y) + Y

{W (1)}(W Y)+ Y

W (W Y) + Y

W W Y + Y

W Y + Y

Y (W + 1)

Y (1)

Y

你是对的（虽然它不是“基本代数”）。

您可以通过详尽评估 W、Y、Z 的所有 8 种组合来证明这一点。

你有\$ (w+y)(wz+wz')wy + y \$。让我们将它分组为\$ [(w+y)(wz+wz')w] y + y \$并查看括号中的子表达式。

如果这是布尔代数，那么无论\$ w, y, z \$的值是什么，子表达式\$ (w+y)(wz+wz')w \$必须是真 (1) 或假 ( 0)。不是 123、未定义、猫或其他任何东西。它不能仅仅因为表达式有几个部分而变成完全不同的东西。

所以，它必须遵守通常的规则，我们可以为整个事情写一个真值表：

这就是所有的可能性。很明显，完整的表达式\$ (w+y)(wz+wz')wy + y \$等于\$ y \$。

出于同样的原因，我们可以给这个子表达式一些更短的名字，并在那里节省一些打字，但我想这样可能更容易消化（我的意思是教授）。

现在，他们可能意味着这也是对其他事物的练习或测试，例如子表达式\$ (wz+wz') \$，它也很明显简化为\$ w \$。这没有错，但想到他们可能会对留下一个可以跳过他们试图完成的大部分任务的空缺感到有点恼火。

比 Syed 的证明略短的是这个

(W +Y) (W Z + W Z') (W Y) + Y

(W + Y) (W (Z + Z')) (W Y) + Y

(W + Y) (W (1)) (W Y) + Y

(W + Y) W (W Y) + Y

W (W Y) + Y

(W Y) + Y

Y