摘要： SAT问题： 给定一个布尔表达式，看是否有一组赋值使得表达式为true. SAT属于典型的NP完全问题，决定SAT的最坏情况是2的n次方，尝试n个变量的所有可能的组合。 涉及到的名词： 语法：命题逻辑中的公式，由常量、变量和逻辑连接符组成。两个常量符号⊤（true）和⊥(false) 原子是 一个常 阅读全文