If k denotes the number of clauses in the CNF formula, then the k-vertex cliques in this graph represent consistent ways of assigning truth values to some of its variables in order to satisfy the formula.
Dacă k reprezintă numărul de clauze în formula CNF, atunci clicile cu k noduri din acest graf reprezintă moduri consistente de atribuire de valori de adevăr unor din variabilele sale, pentru a satisface formula.