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

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

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

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

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

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

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

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

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

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

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

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

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

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

Функция «Дизъюнкция»

Функция «Конъюнкция»

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

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

Функция «Эквиваленция»

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

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

• Логический закон;
• Логические функции;
• Нормальные формы:
  • совершенная дизъюнктивная нормальная форма;
  • совершенная конъюнктивная нормальная форма;
  • минимальная дизъюнктивная нормальная форма;
  • минимальная конъюнктивная нормальная форма;
  • алгебраическая нормальная форма;
• Таблица истинности;
• Карта Карно;
• Трёхмерная карта Карно;
• Предикат;
• Исчисление высказываний;
• Специальное исчисление высказываний;
• Секвенции;
• Суждение;
• Умозаключения.

Ссылки

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