Таблица истинности — различия между версиями
Материал из ALL
Строка 35: | Строка 35: | ||
*[[карта Карно]]; | *[[карта Карно]]; | ||
*[[трёхмерная карта Карно]]; | *[[трёхмерная карта Карно]]; | ||
+ | *[[полином Жегалкина]]; | ||
*[[предикат]]; | *[[предикат]]; | ||
*[[секвенции]]; | *[[секвенции]]; |
Версия 12:25, 8 февраля 2016
Таблица истинности — это таблица, определяющая логическую функцию.
Виды таблиц истинности:
Для функции одной переменных
Для функции двух переменных
Для функции трёх переменных
Для функции четырёх переменных
- Таблица истинности может быть представлена в виде карт Карно.
Примеры таблиц истинности:
Функция "Отрицание"
Функция "Стрелка Пирса"
Функция "Штрих Шеффера"
Функция "Дизъюнкция"
Функция "Конъюнкция"
Функция "Импликация"
Функция "Обратная импликация"
Функция "Эквивалентность"
Функция "Разделительная дизъюнкция"
Другие понятия:
- логический закон;
- логическая функция;
- таблица истинности;
- карта Карно;
- трёхмерная карта Карно;
- полином Жегалкина;
- предикат;
- секвенции;
- силлогизм;
- суждение;
- умозаключение.