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