摘要：###什么是2-SAT 2-sat问题是一个逻辑互斥问题，与我们小时候做过的一道数学题一样。 A,B,C三个人中有两个女生，其中如果A为女生，B一定不是女生，而且A与C性别相同，求A，B，C的性别。 这是一道非常简单的题目，我们可以简单分析一下。 我们用$f[i]=0$表示$i$为女生，$f[i]= 阅读全文