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