2-SAT的一些题目

http://blog.sina.com.cn/s/blog_64675f540100k2xj.html

都一个类型的不是很想写。