2-SAT问题的算法

2-SAT问题：有n个bool变量x1,x2....xn，还有一些必须满足的条件。这些条件列如“x1为假或x2为真”，即“x1假x2假”、“x1假x2真”、“x1真x2真”。2-SAT问题：有n个bool变量x1,x2....xn，还有一些必须满足的条件。这些条件列如