boolean - 使用 DeMorgans 简化布尔表达式

Question

这是我需要简化的表达式：

[{(AB)'*(BC)'} + (A'C)']'

现在我的答案是（AB + BC）。（A' + C）

我不认为我的答案是正确的，但我不确定。如果有人可以展示如何简化的步骤，将不胜感激，谢谢！

Answer 1

((AB)'(BC)' + (A'C)')' = ((AB)'(BC)')'(A'C)''           ; DeMorgan
                       = ((AB)'' + (BC)'')(A'C)         ; DeMorgan + double negation
                       = (AB + BC)(A'C)                 ; double negation
                       = ABA'C + BCA'C                  ; distribution
                       = BCA'                           ; AA'=0