Quiz: Assignment Construction

After running SCC on a satisfiable $2$-SAT instance, you pick the value for each variable based on topological order of SCCs. $\neg x_5$ is in an SCC with higher topological number than $x_5$. What value does $x_5$ get?

1. A.True, because $x_5$ appears first in topological order
2. B.True, because you always pick the positive literal
3. C.False, because you set the literal in the later SCC to true, which is $\neg x_5$
4. D.It depends on the other variables in the SCC