2 SAT NL algorithm

How would you define the 2-SAT complement pseudo code?

The information I gathered is, Let x be random variable chosen then we have to check if there exist a path between x to ~x and from ~x to x. If such a path does not exist then it is 2-sat complement

I am not sure if it is correct or not. I don’t even understand the explanation.

How would you define the pseudo code? What would be its correctness?