问题3-SAT和2-SAT是
(A)都在P中
(二)双方NP齐全
(C) NP完全和P
(D)不确定和NP完全答案： (C)
说明：布尔可满足性问题(SAT)是一个决策问题，其实例是仅使用AND，OR，NOT，变量和括号编写的布尔表达式。问题是：给定表达式，是否将TRUE和FALSE值分配给使整个表达式为true的变量?如果可以以使逻辑公式正确的方式为其分配逻辑值，则命题逻辑公式就可以满足要求。
3-SAT和2-SAT是k可满足性(k-SAT)或简单可满足性(SAT)的特殊情况，当每个子句分别精确包含k = 3和k = 2字面量。
2-SAT是P，而3-SAT是NP Complete。 (请参阅此说明)
参考：
http://en.wikipedia.org/wiki/Boolean_satisfiability_problem这个问题的测验