Таблица истинности
Перейти к навигации
Перейти к поиску
Информатика. Алгебра логики: Таблицы истинности. Центр онлайн-обучения «Фоксфорд» [10:16]
Конъюнкция, Дизъюнкция, Инверсия, Отрицание, Импликация, Следование. Таблица истинности // TheZxline [7:16]
Таблица истинности — таблица, определяющая логическую функцию.
Виды таблиц истинности[править]
Для функции одной переменной[править]
Для функции двух переменных[править]
Для функции трёх переменных[править]
Для функции четырёх переменных[править]
- Таблица истинности может быть представлена в виде карт Карно.
Примеры таблиц истинности[править]
Функция «Отрицание»[править]
Функция «Стрелка Пирса»[править]
Функция «Штрих Шеффера»[править]
Функция «Дизъюнкция»[править]
Функция «Конъюнкция»[править]
Функция «Импликация»[править]
Функция «Обратная импликация»[править]
Функция «Эквиваленция»[править]
Функция «Разделительная дизъюнкция»[править]
Другие понятия[править]
- отрицание;
- дизъюнкция;
- конъюнкция;
- разделительная дизъюнкция;
- импликация;
- обратная импликация;
- эквиваленция;
- стрелка Пирса;
- штрих Шеффера;
- полином Жегалкина;
- Нормальные формы:
- совершенная дизъюнктивная нормальная форма;
- совершенная конъюнктивная нормальная форма;
- минимальная дизъюнктивная нормальная форма;
- минимальная конъюнктивная нормальная форма;
- алгебраическая нормальная форма;