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