====== JFiZO - Zadanie 09.93 ======

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ę.