Таблица истинности
Материал из ALL
Версия от 05:50, 13 января 2024; Logic-samara (обсуждение | вклад)
Таблица истинности — это таблица, определяющая логическую функцию.
Виды таблиц истинности:
Функция одной переменной
Функция двух переменных
- Таблица истинности может быть представлена в виде карты Карно.
Функция трёх переменных
- Таблица истинности может быть представлена в виде карты Карно.
Функция четырёх переменных
- Таблица истинности может быть представлена в виде карты Карно.
Функция пяти переменных
- Таблица истинности может быть представлена в виде трёхмерной карты Карно.
Функция шести переменных
- Таблица истинности может быть представлена в виде трёхмерной карты Карно.
Примеры таблиц истинности:
Функция "Отрицание"
Функция "Стрелка Пирса"
Функция "Штрих Шеффера"
Функция "Дизъюнкция"
Функция "Конъюнкция"
Функция "Импликация"
Функция "Обратная импликация"
Функция "Эквивалентность"
Функция "Разделительная дизъюнкция"
Другие понятия:
- отрицание;
- дизъюнкция;
- конъюнкция;
- разделительная дизъюнкция;
- импликация;
- обратная импликация;
- эквиваленция;
- стрелка Пирса;
- штрих Шеффера;
- полином Жегалкина;
- Нормальные формы:
- совершенная дизъюнктивная нормальная форма;
- совершенная конъюнктивная нормальная форма;
- минимальная дизъюнктивная нормальная форма;
- минимальная конъюнктивная нормальная форма;
- алгебраическая нормальная форма;
- Таблица истинности;
- Карта Карно;
- Трёхмерная карта Карно;
- Предикат;
- Секвенции;
- Суждение;
- Умозаключения: