简化具有 4 个变量的布尔表达式

Simplifying a boolean expression with 4 variables

我搞不懂这个,我快要疯了,翻遍我的教科书。

表达式为:(!w && !x && !y && z) || (w && !x && !y && z) || (x && z) || (x && y && !z)

使用分配律和恭维律,我将其缩小为: (!x && !y && z) || (x && z) || (x && y && !z)

但我不能再缩小了!答案应该是 (x && y) || ( !y && z) 但我不知道什么法律会把我放在那里。我的老师告诉我使用分布式但不会进一步帮助我。这没有任何意义,因为我没有什么可以考虑和摆脱的。接下来我应该使用什么法律?

您可以将 xz 扩展为 x(y + !y)z => xyz + x!yz

现在你有 !x!yz + xyz + x!yz + xy!z.

!x!yz + x!yz简化为!yzxyz + xy!z简化为xy, 给出最小表达式。