我试图用Demorgans/其他基本定律来证明这两个方程是相等的。我已经有一段时间没有做布尔逻辑了，我遇到了麻烦。有人能帮我吗？
E = ((A·B) + (A·C) + (B·C)) ·-(A·B·C)
E = (A·B·-C) + (A·-B·C) + (-A·B·C)
在第一次使用Demorgans后，我得到。。
E = ((A·B) + (A·C) + (B·C)) · -A + -B + -C
我不太确定在这之后该去哪里。
我不确定到底允许使用哪些"基本规则"，但最简单的方法是对表达式进行因子化。更正式地说，您将重复应用规则(A + B)C <=> AC + BC。如果我们对你的派生表达式这样做，我们得到：
E = AB(-A) + AC(-A) + BC(-A) + AB(-B) + AC(-B) + BC(-B) + AB(-C) + AC(-C) + BC(-C)
在这一点上，我们可以利用规则A(-A) <=> 0和0A <=> 0（其中0表示假值）。应用这两个规则（并删除0值），并稍微重新排列变量，可以得到所需的结果：
E = (-A)BC + A(-B)C + AB(-C)