Индуктивные представления булевых функций и конечная порождаемость классов Поста

Приводятся несколько новых представлений булевых функций через функции, зависящие от меньшего числа переменных или принимающие меньше единиц (нулей), чем исходные функции. Кроме того, выявлен ряд свойств, связанных с порождением одних булевых функций другими (с использованием операции суперпозиции). В заключение дается достаточно компактное доказательство известной теоремы Э. Поста о конечной порождаемости всякого замкнутого класса алгебры логики.