Can every clause (a ∨ b) be true at once? Turn each clause into two implications, find the strongly connected components, and read off an answer.
This interactive visualization needs JavaScript.