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

Материал из Википедии — свободной энциклопедии
Перейти к: навигация, поиск

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

Под «логической функцией» в данном случае понимается функция, у которой значения переменных (параметров функции) и значение самой функции выражают логическую истинность. Например, в двузначной логике они могут принимать значения «истина» либо «ложь» ( либо , либо ).

Табличное задание функций встречается не только в логике, но для логических функций таблицы оказались особенно удобными, и с начала XX века за ними закрепилось это специальное название. Особенно часто таблицы истинности применяются в булевой алгебре и в аналогичных системах многозначной логики.

Таблицы истинности для основных двоичных логических функций[править | править вики-текст]

Конъюнкция
Дизъюнкция
Сложение по модулю 2
Импликация
Эквиваленция
Штрих Шеффера
Стрелка Пирса
Отрицание

Таблицы истинности для некоторых троичных логических функций[править | править вики-текст]

x 2 1 0 2 1 0 2 1 0
y 2 2 2 1 1 1 0 0 0
Минимум 2 1 0 1 1 0 0 0 0


x 2 1 0 2 1 0 2 1 0
y 2 2 2 1 1 1 0 0 0
Максимум Минус. 2 2 2 2 1 1 2 1 0


x 2 1 0 2 1 0 2 1 0
y 2 2 2 1 1 1 0 0 0
Webb(x,y) 0 0 0 0 2 2 0 2 1

См. также[править | править вики-текст]

Примечания[править | править вики-текст]

Литература[править | править вики-текст]

  • Яблонский С. В., Гаврилов Г. П., Кудрявцев В. Б. Функции алгебры логики и классы Поста. — М.: Наука, 1966. — (Математическая логика и основания математики).

Ссылки[править | править вики-текст]