Алгебра логики [Г.И. Просветов, Е.А. Фоминых, Ф.Г. Кораблёв]

Логические операции над высказываниями
Равносильные формулы алгебры высказываний
Логические следствия
Булевы функции от n переменных
Решение задач с помощью алгебры высказываний
Нормальные формы
Функции 2-значной логики. Лемма о числе функций. Элементарные функции 1-ой и 2-х переменных
Формулы. Равенство функций и эквивалентность формул. Основные эквивалентности
Упрощение логических функций с помощью таблицы истинности
СДНФ. Теорема о представлении в виде СДНФ. Построение СДНФ по таблице
СКНФ. Теорема о представлении в виде СКНФ. Построение СКНФ по таблице
Полином Жегалкина. Теорема о представлении в виде полинома Жегалкина
Полином Жегалкина. Пример.
Замыкание. Свойства замыкания. Теорема о сведении к заведомо полной системе
Теорема о полныx системаx в Pk
Класс T0. Теорема о замкнутости класса T0
Класс T1. Теорема о замкнутости класса T1
Класс S. Теорема о замкнутости класса S
Класс M. Теорема о замкнутости класса M
Класс L. Теорема о замкнутости класса L
Критерий полноты [формулировка]. Лемма о несамодвойственной функции
Критерий полноты [формулировка]. Лемма о немонотонной функции
Критерий полноты [формулировка]. Лемма о немонотонной функции
Критерий полноты [теорема Поста о функциональной полноте]
Теорема о предполных классах
Функции k-значной логики. Элементарные функции. Лемма об аналоге правила де Моргана
Теорема об аналоге СДНФ в Pk
Теорема о заведомо полныx системаx
Класс Te . Теорема о замкнутости Te
Лемма о построении множества F[x1,x2]
Теорема об алгоритме распознавания полноты

Вернуться к оглавлению