我试图用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
我不太确定在此之后去哪儿。
答案 0 :(得分：1)
我不确定究竟是哪些＆＃34;基本规则＆＃34;你被允许使用，但最简单的方法是考虑表达。更正式地说，您会反复应用规则(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)