Формулой называется булева функция, которая может быть получена из элементарных булевых функций с помощью одной или нескольких суперпозиций.
Арность - количество переменных БФ
