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

Материал из ALL
Перейти к: навигация, поиск
(Восстановление статей Logic-samara)
 
Строка 14: Строка 14:
  
 
== Примеры таблиц истинности: ==  
 
== Примеры таблиц истинности: ==  
=== Функция отрицания ===
+
=== Функция "Отрицание" ===
 
[[файл:ТИ11.JPG]]
 
[[файл:ТИ11.JPG]]
  
=== Функция Стрелка Пирса ===
+
=== Функция "Стрелка Пирса" ===
 
[[файл:ТИ21.JPG]]
 
[[файл:ТИ21.JPG]]
  
=== Функция Штрих Шеффера ===
+
=== Функция "Штрих Шеффера ===
 
[[файл:ТИ22.JPG]]
 
[[файл:ТИ22.JPG]]
 +
 +
=== Функция "Дизъюнкция" ===
 +
[[файл:ТИ23.JPG]]
 +
 +
=== Функция "Конъюнкция" ===
 +
[[файл:ТИ24.JPG]]
 +
 +
=== Функция "Импликация" ===
 +
[[файл:ТИ25.JPG]]
 +
 +
=== Функция "Обратная импликация" ===
 +
[[файл:ТИ26.JPG]]
 +
 +
=== Функция "Эквивалентность" ===
 +
[[файл:ТИ27.JPG]]
 +
 +
=== Функция "Разделительная дизъюнкция" ===
 +
[[файл:ТИ28.JPG]]
  
 
== Ссылки ==
 
== Ссылки ==
 
* [[Участник:Logic-samara]]  
 
* [[Участник:Logic-samara]]  
 
[[Категория:Дискретная математика]][[Категория:Логика]]
 
[[Категория:Дискретная математика]][[Категория:Логика]]

Версия 08:43, 16 ноября 2015

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

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

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

ТИ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

Ссылки