2sat问题

http://www.cnblogs.com/kuangbin/archive/2012/10/05/2712429.html

http://www.cnblogs.com/silver-bullet/archive/2013/02/18/2915097.html