Таблица истинности — различия между версиями

Материал из ALL
Перейти к: навигация, поиск
м
м
Строка 14: Строка 14:
 
[[файл:ТИ11.JPG]]
 
[[файл:ТИ11.JPG]]
 
=== Функция "Стрелка Пирса" ===
 
=== Функция "Стрелка Пирса" ===
[[файл:ТИ21.JPG]]
+
[[файл:ТИ21.PNG]]
 
=== Функция "Штрих Шеффера" ===
 
=== Функция "Штрих Шеффера" ===
[[файл:ТИ22.JPG]]
+
[[файл:ТИ22.PNG]]
 
=== Функция "Дизъюнкция" ===
 
=== Функция "Дизъюнкция" ===
[[файл:ТИ23.JPG]]
+
[[файл:ТИ23.PNG]]
 
=== Функция "Конъюнкция" ===
 
=== Функция "Конъюнкция" ===
[[файл:ТИ24.JPG]]
+
[[файл:ТИ24.PNG]]
 
=== Функция "Импликация" ===
 
=== Функция "Импликация" ===
 
[[файл:ТИ25.PNG]]
 
[[файл:ТИ25.PNG]]

Версия 13:12, 7 ноября 2023

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

Содержание

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

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

ТИ01.JPG

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

ТИ02.JPG

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

ТИ03.JPG

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

ТИ04.JPG

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

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

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

ТИ11.JPG

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

Файл:ТИ21.PNG

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

Файл:ТИ22.PNG

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

Файл:ТИ23.PNG

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

Файл:ТИ24.PNG

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

Файл:ТИ25.PNG

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

Файл:ТИ26.PNG

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

Файл:ТИ27.PNG

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

Файл:ТИ28.PNG

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

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

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

отрицание

дизъюнкция

конъюнкция

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

импликация

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

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

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

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

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

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

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

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

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

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

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

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

Карта Карно

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

Предикат

Секвенции

Суждение

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

превращение

обращение

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

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

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

силлогизм

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

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

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

Диаграммы:

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

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

Ссылки