結合されたテキストに基づいて質問をする
例えば、節(j=1)に対して、x_1が真の場合には、B_1=1, W_1=0となるように制約式を生成する。同様に、x_1が偽の場合には、B_1=0, W_1=1となるように制約式を生成する。このようにして生成される制約式を満たすような整数値のB_i, W_iの組が存在する場合、2-SAT問題が解けることが示された。
1. 節 j=1 において、x_1が真の場合にはどうなるか？また、偽の場合にはどうなるか？
2. 生成される制約式を満たすようなB_i, W_iの組が存在する場合、何が示されるか？
3. 何によって2-SAT問題が解けることが示されたのか？