Связь глубины и размера формулы: \( D(f) = \Theta (\log L(f)) \) . Нижняя оценка \( n^2 \) на формульную сложность универсальной функции. Метод случайных подстановок Субботовской, нижняя оценка \( n^{1.5} \) для формул де Моргана для функции четности. Функция Андреева, нижняя оценка \( n^{2.5} \) для формул де Моргана.