类别 全部 - операции - формулы - алгебра - классы

作者:Роман Есин 8 年以前

306

Предметная область АЛ

Алгебра логики изучает логические функции и операции, которые являются фундаментальными для построения функционально-полных систем. Суперпозиция булевых функций, признаки функциональной полноты и базис —

Предметная область АЛ

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

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

Правила упрощения
Правила раскрепощения
Удаление отрицания
Правила склеивания
Правила поглпщения
Вид представления

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

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

Инвертор

Дизъюнктор

Конъюнктор

Геометрическая форма
Числовая форма
Формула

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Подформула

Таблица истинности
Логические операции
Функционально-полные системы

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

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

Монотонные

Линейные

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

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

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

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

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

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

Базис

Свойства

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

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

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

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

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

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

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

Отрицание
Дизъюнкция
Конъюнкция
Логические переменные
Фиктивные
Существенные

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

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

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