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