Как мы видели, геометрическое и табличное представления булевых функций подходят лишь для функций с небольшим числом аргументов. Формулы позволяют удобно представлять многие функции от большего числа аргументов и оперировать различными представлениями одной и той же функции.
Пусть 
- некоторое (конечное или бесконечное) множество булевых функций. Зафиксируем некоторое счетное множество переменных V={X1, X2, …} . Определим по индукции множество формул над с переменными из V. Одновременно будем определять числовую характеристику dep(Φ) формулы Φ, называемую ее глубиной, и множество ее подформул.
