Основная идея метода элиминации гейтов. Примеры свойств функций, использующихся в доказательстве верхних оценок: \( 2n \) для функций, имеющих хотя бы три различные подфункции относительно любых двух переменных; \( 2n \) для функции индексации; \( 7n/3 \) для функций высокой степени.