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

Honelako gehiago

Ментальная карта Калиниченко А.С.

by Калиниченко Александра Сергеевна

Информация и информационные процессы

by Анастасия Гавлик

Sample Mind Map

by Эржэн Гуруева

Типы данных в C#

by Светлана Назарова

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

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

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

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

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

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

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

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

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

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

Инвертор

Дизъюнктор

Конъюнктор

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

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

Формула

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

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

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

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

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

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

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

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

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

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

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

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

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

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

Подформула

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

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

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

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

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

Монотонные

Линейные

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

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

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

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

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

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

Базис

Свойства

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

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

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

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

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

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

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

Отрицание

Дизъюнкция

Конъюнкция

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

Фиктивные

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

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

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

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

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