//(^ o ^)//

2-SAT（建图）

>Linklugou P4782>Description>解题思路2-SAT问题如题目所示。注意到每个变量只能为真或假，也就是同一个变量真和假不能同时存在。我们可以根据题目要求满足的条件建图，把每个变量分成真假两个点，按照条件建边，比如 「x1x_1x1​为真或 x3x_3x3​为假」，就建一条边 (x1real,x3real)(x_1real,x_3real)(x1​real,x3​real)，表示起点可以推出终点。无解的情况就是同一个变量的真假互相推出了（注意是互相