摘要：题目传送门 【模板】2-SAT问题 题目背景 2-SAT 问题 模板 题目描述 有n个布尔变量 $x_1/~x_n$​ ，另有$m$个需要满足的条件，每个条件的形式都是“ $x_i$ 为$true/false$或 $x_j$​ 为$true/false$”。比如“ $x_1$​ 为真或 $x_3$​ 阅读全文