2SAT 问题

2SAT 问题基于 SAT 问题添加了一个额外约束，即要求每一个项集合由两个元素组成 $|C_i|=2$。

2SAT 问题是 P 类问题，即可以在多项式时间内解答的问题。除了2SAT 问题，其余的所有 N-SAT 问题均为 NPC 类问题