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