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