Rozwiązanie zadania jest równoważne wyznaczeniu wartości pewnej wielowartościowej funkcji wektorowej , , dokąd jest informacja na wskroś m+1 funkcji rzeczywistych :
W każdym etapie obliczeń zespół argumentów składa się spośród pierwotnych wartości wejściowych xi to znaczy spośród wartości obliczonych wewnątrz poprzednich etapach. Pojedyncze wpływ wyznacza nową liczba spośród jednego, to znaczy więcej elementów zbioru (aktualnych) argumentów. Nowa liczba jest wynikiem pośrednim to znaczy koncowym, wewnątrz obu przypadkch jest dołączana aż do zbioru argumentów. Następnie spośród tego zbioru usuwane są wszystkie elementy, które negacja logiczna będą argumentami w toku pozostałych obliczeń. Elementy końcowe zbioru argumentów wyznaczą jednoznacznie rozstrzygnięcie .
Zapisując kolejne żniwa argumentów w charakterze wektory:
można spośród działaniem elementarnym zakuć odzwierciedlenie elementarne
takie, że
Wektor jest przedstawieniem przekształconego zbioru argumentów. Odwzorowanie elementarne jest wyznaczone jednoznacznie spośród dokładnością aż do kolejnych współrzędnych