Статья посвящена созданию генератора задач на исследование принадлежности булевых функций классам Поста.
В статье обсуждается методика использования пакета математических символьных вычислений Maple при изучении вузовского курса «Математическая логика и теория алгоритмов». Рассматриваются особенности синтаксиса подпакета with(Logic). Показана методика компьютерного нахождения конъюнктивной, дизъюнктивной и полиномиальной форм булевой функции. Отмечено, что при машинном нахождении полиномиальной нормальной формы для функции необходимо использовать, кроме команд логического подпакета, команды для работы с многочленами. На конкретном примере детально разобран алгоритм проверки функциональной полноты системы булевых функций.
В книге собраны результаты исследований по булевой сводимости, которые автор проводил в течение последних 15 лет. Основное содержание книги направлено на выявление структурных особенностей частично упорядоченных множеств LQ, отвечающих различным замкнутым классам Q булевых функций. Книга состоит из семи параграфов. В § 1 вводятся основные понятия. В § 2 доказывается ряд общих утверждений, справедливых для Q-сводимостей и Q-степеней с произвольными замкнутыми классами Q булевых функций. § 3 посвящен изучению периодических степеней, а §§ 4 и 5 - максимальным и минимальным степеням. В 6 исследуется строение частично упорядоченного множества LL булевых L-степеней, а в § 7 изучается множества LP2 самых крупных P2-степеней. Для студентов, аспирантов и научных сотрудников, специализирующихся в области дискретной математики и кибернетики.