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

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

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