2-sat问题