coursera algo II

2-SAT problem