Weźmy \phi \in 3CNF.
Dla każdej zmiennej x_i w formule \phi, która wystepuje więcej niż 3 razy, zamień jej wystąpienia na dodatkowe zmienne: y_{x_i,1},\cdots ,y_{x_i,k} gdzie k to liczba wystąpień tej zmiennej.
Zapewnij, że wszystkie nowe zmienne są tak samo wartościowane: y_{x_i,1} ⇒ y_{x_i,2} ⇒ … ⇒ y_{x_i,k} ⇒ y_{x_i,1} (dodajemy te implikacje parami do naszej formuly). Dla każdego zanegowanego wystąpienia zmiennej, w formule zawierajacej implikacje przed nową zmienną obrazującą to wystąpienie zmiennej x_i, dodajemy negację.