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