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

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

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

Содержание

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

Функция одной переменной

Файл:ТИ01.png

Функция двух переменных

Файл:ТИ02.png

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

Функция трёх переменных

Файл:ТИ03.png

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

Функция четырёх переменных

Файл:ТИ04.png

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

Функция пяти переменных

Файл:ТИ05.png

Функция шести переменных

Файл:ТИ06.png

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

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

Файл:ТИ11.png

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

Файл:ТИ21.png

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

Файл:ТИ22.png

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

Файл:ТИ23.png

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

Файл:ТИ24.png

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

Файл:ТИ25.png

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

Файл:ТИ26.png

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

Файл:ТИ27.png

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

Файл:ТИ28.png

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

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

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

отрицание

дизъюнкция

конъюнкция

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

импликация

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

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

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

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

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

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

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

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

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

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

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

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

Карта Карно

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

Предикат

Секвенции

Суждение

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

превращение

обращение

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

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

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

силлогизм

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

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

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

Диаграммы:

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

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

Ссылки