'''Таблица истинности''' — это таблица, определяющая '''[[Логическая функция|логическую функцию]]'''.
== Виды таблиц истинности: ==
=== Функция Для функции одной переменной переменных ===
[[файл:ТИ01.JPG]]
=== Функция Для функции двух переменных ===
[[файл:ТИ02.JPG]]
=== Функция Для функции трёх переменных ===
[[файл:ТИ03.JPG]]
=== Функция Для функции четырёх переменных ===
[[файл:ТИ04.JPG]]
* Таблица истинности может быть представлена в виде [[Карта Карно|карт Карно]].
== Примеры таблиц истинности: ==
[[файл:ТИ21.JPG]]
=== Функция "Штрих Шеффера " ===
[[файл:ТИ22.JPG]]
=== Функция "Разделительная дизъюнкция" ===
[[файл:ТИ28.JPG]]
== Другие понятия: ==
* [[логическая функция]];
* [[логический закон]];
* [[предикат]];
* [[карта Карно]];
* [[трёхмерная карта Карно]].
== Ссылки ==
* [[Участник:Logic-samara]]
[[Категория:Дискретная математика]][[Категория:Логика]]