这两个NP完全问题到底有什么区别？在我看来，他们都在问是否可以满足布尔公式(即输出 1(，但一个是在电路的上下文中，另一个只是一个公式。但是，不能从布尔电路中编写布尔公式吗？
你是对的，他们彼此非常接近。任何C-SAT问题都可以表示为SAT，任何SAT问题都可以表示为C-SAT。有一个问题是如何以最有效的方式翻译C-SAT<->SAT。有些任务最好表示为SAT，其中一些任务"看起来"更好为C-SAT。
此外，还有一些SAT求解器在内部使用电路表示，而不是更流行的幽闭形式。
此外，您可以阅读这个伟大的调查：M. Bjork，2009，成功的SAT编码技术
这两个问题都与布尔函数的满足性有关。区别在于函数的表示方式 - 作为电路或公式。
在电路中，单个栅极的输出可以多次使用。将电路转换为公式时，处理此问题的明显方法是复制电路的某些部分，这可能导致尺寸呈指数级增长。