2-SAT problem

[opengenus (Team)]

---

This is a companion discussion topic for the original entry at http://iq.opengenus.org/2-sat/