理解布尔代数的麻烦

Question

我正在阅读我的布尔代数书试图解决一些问题，我正在寻求一些帮助，以解决希望仅使用 DeMorgan 的关系和对合简化函数的人。

f(A,B,C,D) = [A + (BCD)']*[(AD)' + B(C'+A)]

我尝试减少如下：

[A + B' + C' + D'][A' + D' + (B(C' + A))'] [A + B' + C' + D'][A' + D' + B' + C'' * A']
[A + B' + C' + D'][A' + D' + B' + CA']
[A + B' + C' + D'][A' + B' + D']

我想知道我采取的步骤是否有效还是我有点离谱？

Answer 1

在第一步，你有一个错误

[(AD)' + B(C'+A)] = [A' + D' + B(C' + A)]

或

[(AD)' + B(C'+A)] = [A' + D' + (B(C' + A))'']