浅谈2-SAT（待续）

2-SAT问题，其实是一个逻辑互斥问题。做了两道裸题之后仔细想来，和小时候做过的“有两个女生，如果A是女生，那么B一定不是女生。A和C性别相同，求A、B、C三人的性别。”几乎是一样的。对于这道题我们来 ...