摘要： 题目大意 2 SAT，其中有$d$($d\leq 8$)个点是$3 SAT$。 题解 枚举$d$个点不取三个中（假设三个为$a,b,c$）的哪一个，然后整体变成做$2 SAT$。 注意枚举完不选$a$（即选$b或c$）和不选$b$（即选$a或c$）后，不选$c$（即选$a或b$）已经包含在前两种中， 阅读全文