"Функции алгебры логики и классы Поста" - читать интересную книгу автора (Яблонский С.В., Гаврилов Г.П., Кудрявцев В.Б.)