在理解这个相对简单的概念时遇到很多麻烦。所以我证明3满足性问题是NP-Complete，其中一部分涉及将布尔门（例如，非门）转换为连接正常函数。
因此，如果一个门是“非”门并且接受输入a，并且返回b = NOT（a），显然正确的答案是我们可以强制执行这两个子句：a或b，而不是（a）和NOT（b）所示。
这可以通过真值表来完成，但我似乎无法弄清楚这个真值表是如何工作的。如果有人能解释那将非常有帮助。
答案 0 :(得分：2)
定义“一致性函数” C 取2个参数 a 和 b ，这是 True（1）当且仅当 a 和 b 的值与NOT门的定义一致时。
在你的情况下，
这是理想的真值表。
现在你可以获得C = a.b +（a'）的表达式。（b'）=（a + b）。（a'+ b'）