如何证明以下布尔方程的一致性？

Question

使用布尔操作，我怎么能证明这两面是相等的？对于第一，我正在考虑操纵双方直到匹配。我似乎无法正确操纵它。

1. wy + w'yz'+ wxz + w'xy'= wy + w'xz'+ x'yz'+ xy'z

2. ad'+ a'b + c'd + b'c =（a'+ b'+ c'+ d'）（a + b + c + d）

感谢您提供任何帮助或意见！

Answer 1

表示1：

简单地比较2 ^ 4 = 16个输入组合中的哪一个，等式的两边评估为真：

w y z x
0 0 0 1
0 0 1 1
0 1 0 0
0 1 0 1
1 0 1 1
1 1 0 0
1 1 0 1
1 1 1 0
1 1 1 1

for 2：

您可以执行与1.相同或乘以两个括号，删除像a'a这样的虚假字词，删除重复字词并按字词比较双方。

双方实际上是平等的。对于以下输入组合，它们评估为true：

a b c d
0 0 1 0
0 1 0 0
0 1 1 0
0 0 0 1
0 0 1 1
0 1 0 1
0 1 1 1
1 0 0 0
1 0 1 0
1 1 0 0
1 0 1 1
1 0 0 1
1 0 1 1
1 1 0 1