前言 由于蒟蒻才刚开始学 \(\text{2-SAT}\),所以题解中有的地方可能不够精炼,望多包涵! 题目描述 题目意思很简单,标准的\(\text{2-SAT}\)问题模型.那么我们就先来介绍一下 \(\text{2-SAT}\) (以下是个人的小小概括) \(\text{2-SAT}\) 问题,抽象化一下,是这样的: 给出 \(n\) 个布尔变量 \(\{x_n\}\),以及 \(m\) 个命题 \((a,aa,b,bb)\),一个命题成立的条件是\([x_a=aa]\lor[x_b=bb…