boolean - (x'y'+z)'+z+xy+wz 的布尔代数简化

Question

您将如何简化以下内容？我在否定的第一部分遇到了一些麻烦。德摩根定理将如何应用在这里？

(x'y'+z)'+z+xy+wz

请详细回答。

更新：

我得到的完整问题是证明

(x'y'+z)'+z+xy+wz

等于

x+y+z

Answer 1

初始表达式：

(x'y' + z)' + z + xy + wz

应用德摩根定理：

(x'y')'z' + z + xy + wz

化简（a'b + a = b + a）：

(x'y')' + z + xy + wz

应用德摩根定理：

x + y + z + xy + wz

重新排列（交换性/结合性）：

x + xy + y + z + wz

因素：

x(1 + y) + y + z(1 + w)

化简 (1 + a = 1)：

x + y + y + z

化简 (a + a = a)：

x + y + z