Алгебра логики

Высказывание

r

Дихотомическое деление

Простое высказывание

Составное высказывание

Логическая функция

Логические переменные

r

Дихотомическое деление

Существенные

Фиктивные

Логические операции

Конъюнкция

Дизъюнкция

Отрицание

Свойства

Ассоциативность

Дистрибутивность

Коммутативность

Идемпотентность

Свойства констант

Правила де Моргана

Двойное отрицание

Функционально-полные системы

Базис

Суперпозиция булевых функция

Признаки функциональной полноты

I признак функциональной
полноты

II признак функциональной
полноты

Замкнутые классы

Сохраняющие 0

Сохраняющие 1

Линейные

Монотонные

Самодвойственные

Вид представления

r

Форма представления

Таблица истинности

Формула

Подформула

Логическое следствие

Классы логических формул

Эквивалентные формулы

Выполнимые формулы

Опровержимые формулы

Тождественно-ложные формулы

Тождественно-истинные формулы

Стандартные формы представления

Конъюнктивная нормальная форма

Совершенная конъюнктивная нормальная форма

Элементраный дизъюнкт

Дизъюнктивная нормальная форма

Совершенная дизнъюнктивная нормальная форма

Элементраный конъюнкт

Числовая форма

Геометрическая форма

Логическая схема

r

Логические операции

Конъюнктор

Дизъюнктор

Инвертор

Правила упрощения

Правила поглпщения

Правила склеивания

Удаление отрицания

Правила раскрепощения