2-SAT 板子题。