分类 -- 2-SAT