Memory of winter

摘要： 题目大意：有$n$个布尔变量 $x_1 \sim x_n$，另有$m$个需要满足的条件，每个条件的形式都是"$x_i$ 为$true/false$或$x_j$为$true/false$"。比如"$x_1$为$true$或$x_3$为$false$"、"$x_7$为$false$或$x_2$为$fal 阅读全文