Учебное пособие содержит доказательство конечной порождаемости всех замкнутых классов функций алгебры логики (классов Поста), на основе которого дано описание структуры всех замкнутых классов. Этот материал входит в программу курса "Дискретная математика", читаемого студентам механико-математического факультета МГУ им. М.В. Ломоносова на четвертом курсе.