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

Материал из ALL
Перейти к: навигация, поиск

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

Содержание

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

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

ТИ01.JPG

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

ТИ02.JPG

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

ТИ03.JPG

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

ТИ04.JPG

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

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

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

ТИ11.JPG

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

ТИ21.JPG

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

ТИ22.JPG

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

ТИ23.JPG

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

ТИ24.JPG

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

ТИ25.JPG

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

ТИ26.JPG

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

ТИ27.JPG

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

ТИ28.JPG

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

Логический закон

Логические функции:

отрицание

дизъюнкция

конъюнкция

разделительная дизъюнкция

импликация

обратная импликация

эквиваленция

стрелка Пирса

штрих Шеффера

полином Жегалкина

Нормальные формы:

совершенная дизъюнктивная нормальная форма

совершенная конъюнктивная нормальная форма

минимальная дизъюнктивная нормальная форма

минимальная конъюнктивная нормальная форма

алгебраическая нормальная форма

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

Карта Карно

Трёхмерная карта Карно

Предикат

Секвенции

Суждение

Умозаключения:

превращение

обращение

противопоставление предикату

противопоставление субъекту

чисто условные умозаключения

силлогизм

условно-категорические умозаключения

разделительно-категорические умозаключения

эквивалентно-категорические умозаключения

Диаграммы:

диаграмма Венна

диаграмма Эйлера

Ссылки