Таблица истинности — различия между версиями
(→Функция "Обратная импликация") |
|||
(не показаны 2 промежуточные версии 2 участников) | |||
Строка 25: | Строка 25: | ||
=== Функция "Обратная импликация" === | === Функция "Обратная импликация" === | ||
[[файл:ТИ26.JPG]] | [[файл:ТИ26.JPG]] | ||
− | |||
− | |||
=== Функция "Эквивалентность" === | === Функция "Эквивалентность" === | ||
[[файл:ТИ27.JPG]] | [[файл:ТИ27.JPG]] | ||
Строка 35: | Строка 33: | ||
== Ссылки == | == Ссылки == | ||
*[[Участник:Logic-samara]] | *[[Участник:Logic-samara]] | ||
− | [[Категория:Дискретная математика]][[Категория:Логика]] | + | [[Категория:Математика]][[Категория:Дискретная математика]][[Категория:Логика]] |
Текущая версия на 04:32, 10 апреля 2023
Таблица истинности — это таблица, определяющая логическую функцию.
Виды таблиц истинности:
Для функции одной переменных
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Для функции двух переменных
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Для функции трёх переменных
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Для функции четырёх переменных
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
- Таблица истинности может быть представлена в виде карт Карно.
Примеры таблиц истинности:
Функция "Отрицание"
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Функция "Стрелка Пирса"
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Функция "Штрих Шеффера"
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Функция "Дизъюнкция"
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Функция "Конъюнкция"
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Функция "Импликация"
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Функция "Обратная импликация"
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Функция "Эквивалентность"
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Функция "Разделительная дизъюнкция"
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Другие понятия:
- совершенная дизъюнктивная нормальная форма;
- совершенная конъюнктивная нормальная форма;
- минимальная дизъюнктивная нормальная форма;
- минимальная конъюнктивная нормальная форма;
- алгебраическая нормальная форма;