麻烦理解布尔代数

Question

我正在阅读我的布尔代数书，试图解决一些问题，我正在寻找一些关于想要使用DeMorgan的关系和Involution简化函数的帮助。

f（A，B，C，D）= [A +（BCD）'] * [（AD）'+ B（C'+ A）]

我试图减少如下：

[A + B'+ C'+ D'] [A'+ D'+（B（C'+ A））']＆lt; - 尝试内卷 [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))'']