That is, there is an edge from (v,c) to (u,d) whenever c ≠ d and u and v are not each other's negations.
Adică există o muchie de la (v,c) la (u,d) ori de câte ori c ≠ d și u și v nu sunt niciuna negația celeilalte.