Монотонная формульная сложность второй пороговой функции. Нижняя оценка на размер кодовых слов, которые декодируются с помощью двух запросов. Внутреннее и внешнее информационное разглашение коммуникационных протоколов. Теорема Храпченко о формульной сложность функции четности.