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