参考资料：
[1]:挑战程序设计竞赛P324(强烈推荐)
[2]:看大神的推荐学习资料 《由对称性解2-SAT问 题》（伍昱的WC论文）、《2-SAT解法浅析》（赵爽）
[3]:推荐博客https://blog.csdn.net/jarjingx/article/details/8521690
相关习题（待完成）
| 题目一览表 | 来源 | 考察知识点 | 完成时间 |
| A 3683 Priest John's Busiest Day | poj | 2-SAT+SCC |
2018.10.10 |
| B 3062 Party | hdu | 2-SAT入门题 | 2018.10.11 |
| C 3207 Ikki's Story IV - Panda's Trick | poj | 2-SAT入门题 | 2018.10.11 |
| D 3678 Katu Puzzle | poj | 2-SAT入门题 | 2018.10.11 |