8. Which one of the following statements about the implication graph for 2-SAT is true?

CNF: $F = (a+b)(\lnot a+b)(\lnot b+c)(\lnot b+d)(\lnot c+\lnot d)$