Таблица истинности

Таблица истинности — это таблица, определяющая логическую функцию.

Виды таблиц истинности:

Для функции одной переменных

Для функции двух переменных

Для функции трёх переменных

Для функции четырёх переменных

• Таблица истинности может быть представлена в виде карт Карно.

Примеры таблиц истинности:

Функция "Отрицание"

Функция "Стрелка Пирса"

Функция "Штрих Шеффера"

Функция "Дизъюнкция"

Функция "Конъюнкция"

Функция "Импликация"

Функция "Обратная импликация"

Функция "Эквивалентность"

Функция "Разделительная дизъюнкция"

Другие понятия:

• логическая функция;
• логический закон;
• предикат;
• карта Карно;
• трёхмерная карта Карно.

Ссылки

• Участник:Logic-samara