2sat问题 http://www.cnblogs.com/kuangbin/archive/2012/10/05/2712429.html http://www.cnblogs.com/silver-bullet/archive/2013/02/18/2915097.html