摘要：2-SAT 给定一个布尔方程，判断是否存在一组布尔变量的真值指派使得整个方程为真的问题，称为布尔方程的可满足性问题（SAT） 合取范式：\((a\bigvee b\bigvee \cdots)\bigwedge (c\bigvee d\bigvee \cdots)\bigwedge \cdots\) 阅读全文