何によって2-SAT問題が解けることが示されたのか？
例えば、節(j=1)に対して、x_1が真の場合には、B_1=1, W_1=0となるように制約式を生成する。同様に、x_1が偽の場合には、B_1=0, W_1=1となるように制約式を生成する。このようにして生成される制約式を満たすような整数値のB_i, W_iの組が存在する場合、2-SAT問題が解けることが示された。
2-SAT問題が解けることが示された方法は、各節に対して真偽の2通りの変数を割り当て、それぞれの変数に対して真偽に応じた制約式を生成し、その制約式を満たす整数値の組が存在する場合に2-SAT問題が解けることを示す方法である。