使用 DeMorgans 简化布尔表达式

【问题标题】：simplifying a boolean expression using DeMorgans使用 DeMorgans 简化布尔表达式
【发布时间】：2019-03-09 08:58:30
【问题描述】：

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

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

现在我的答案是 (AB + BC).(A' + C)

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

【问题讨论】：

标签： boolean boolean-logic boolean-expression simplify demorgans-law

【解决方案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

【讨论】：