摘要：题面 2-SAT模板题 题目描述 有 \(n\) 个布尔变量 \(x_1\) ~ \(x_n\)，满足 \(m\) 个形如 \(x_i=true/false\) 或 \(x_j=true/false\) 的条件 。 输入 第一行两个整数 \(n\) 和 \(m\)，意义如题面所述。接下来的 \(m\ 阅读全文