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