Kategorie: Wszystkie - операции - формулы - алгебра - классы

przez Роман Есин 8 lat temu

465

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

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

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

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

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

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

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

Инвертор

Дизъюнктор

Конъюнктор

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Подформула

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

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

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

Монотонные

Линейные

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

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

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

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

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

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

Базис

Свойства

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

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

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

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

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

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

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

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

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

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

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