Question

We saw in the lectures how to convert a 2-SAT instance into a digraph. Which arcs are created in the digraph from a clause (a V b) in the 2- SAT

instance? Select all that apply.

Fig: 1