2-SAT判定位运算可行解