2-sat

建图：

　　2-SAT问题远没有网络流那样复杂，只要抓住关系建好图基本就直接可以解了，在这类问题中建边的规则就是“必须”，对于边<i，j>，它的意义就是选择了i就必须选j。

　　对于题目中给出的每对关系都可以化成下面的几种形式：

　　　A,B不能同时取　　<A,B'><B,A'>

　　　A,B不能都不取　　<A',B><B',A>

　　　A,B必须都取或者都不取　　<A,B><B,A><A',B'><B',A'>

　　　必须取A　　<A',A>

　　主要的模型就这四个，其余的都可以通过徳摩根律化成上面的形式，前三个的建图都不难理解，对于第四个，这样建边是因为如果选了A'就必须选A,显然是不符合逻辑的，也就是说A'不可选，那么自然要选择A了。