W praktyce istotnym problemem jest zmniejszenie liczby wejść układu logicznego, np. układu sterowania, procesora lub jego modułu, itp. Rozpoznanie symetrii argumentów funkcji logicznych pozwala na zmniejszenie liczby wejść takiego układu. IV niniejszym artykule autorzy przedstawiają wyniki badań nad algorytmem poszukiwania symetrii zmiennych dla form wielomianowych. Proponowane rozwiązanie dotyczy nie tylko układów logicznych, ale także tych zjawisk, które można zapisać w postaci funkcji lub systemu funkcji logicznych.