Reducing 2-SAT to an implication graph

I'm taking Coursera's Advanced Algorithms and Complexity course as part of the Data-Structures and Algorithms Specialization. In a lecture, I was introduced to a way of »