Таблица истинности
Таблица истинности — это таблица, определяющая логическую функцию.
Виды таблиц истинности:
Для функции одной переменных
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Для функции двух переменных
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Для функции трёх переменных
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Для функции четырёх переменных
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
- Таблица истинности может быть представлена в виде карт Карно.
Примеры таблиц истинности:
Функция "Отрицание"
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Функция "Стрелка Пирса"
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Функция "Штрих Шеффера"
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Функция "Дизъюнкция"
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Функция "Конъюнкция"
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Функция "Импликация"
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Функция "Обратная импликация"
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
неправда)
Функция "Эквивалентность"
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Функция "Разделительная дизъюнкция"
Ошибка создания миниатюры: Не удаётся сохранить эскиз по месту назначения
Другие понятия:
- совершенная дизъюнктивная нормальная форма;
- совершенная конъюнктивная нормальная форма;
- минимальная дизъюнктивная нормальная форма;
- минимальная конъюнктивная нормальная форма;
- алгебраическая нормальная форма;