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