我正在尝试简化以下表达式： (!A && !B) || (!B && !C) || (C && !A)。它应该简化为两个术语： (!A and C) || (!B and !C)
我尝试使用几乎所有法律，并尝试了不同的保理组合，以查看是否会减少，但不会导致所需的答案。
您知道C || !C是根据中间定律正确的。将其与!A && !B结合使用以获取!A && !B && (C || !C)。分发以获取(!A && !B && C) || (!A && !B && !C)。将其替换为原始表达式以获取(!A && !B && C) || (!A && !B && !C) || (!B && !C) || (C && !A)。
对于任何表达式P和Q，如果P -> Q，则P || Q与Q相同。您应该看到!A && !B && C意味着C && !A，因此可以删除前者。!A && !B && !C和!B && !C相同。现在，您可以轻松地将其余部分重新排序到(!A && C) || (!B && !C)。
您去这里：
(！a＆amp;＆amp; c(||(！b＆amp;＆amp;！c(
来自：https://www.dcode.fr/boolean-expressions-calculator
编辑：对不起，我不知道您正在寻找Hot来解决它。
在这种情况下，我建议使用真实表。这可能会帮助您很多：
https://www.wolframalpha.com/input/?i=(！(C ％26％26 ！a(