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