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