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