Таблица истинности — различия между версиями
(→Функция "Обратная импликация") |
(→Функция "Обратная импликация") |
||
Строка 25: | Строка 25: | ||
=== Функция "Обратная импликация" === | === Функция "Обратная импликация" === | ||
[[файл:ТИ26.JPG]] | [[файл:ТИ26.JPG]] | ||
− | + | неправда) | |
=== Функция "Эквивалентность" === | === Функция "Эквивалентность" === |
Версия 19:44, 8 июня 2022
Таблица истинности — это таблица, определяющая логическую функцию.
Виды таблиц истинности:
Для функции одной переменных
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Для функции двух переменных
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Для функции трёх переменных
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Для функции четырёх переменных
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
- Таблица истинности может быть представлена в виде карт Карно.
Примеры таблиц истинности:
Функция "Отрицание"
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Функция "Стрелка Пирса"
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Функция "Штрих Шеффера"
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Функция "Дизъюнкция"
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Функция "Конъюнкция"
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Функция "Импликация"
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Функция "Обратная импликация"
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
неправда)
Функция "Эквивалентность"
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Функция "Разделительная дизъюнкция"
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Другие понятия:
- совершенная дизъюнктивная нормальная форма;
- совершенная конъюнктивная нормальная форма;
- минимальная дизъюнктивная нормальная форма;
- минимальная конъюнктивная нормальная форма;
- алгебраическая нормальная форма;