16-04-2023
Таблица истинности — это таблица, описывающая логическую функцию.
Под «логической функцией» в данном случае понимается функция, у которой значения переменных (параметров функции) и значение самой функции выражают логическую истинность. Например, в двузначной логике они могут принимать значения «истина» либо «ложь» ( либо , либо ).
Табличное задание функций встречается не только в логике, но для логических функций таблицы оказались особенно удобными, и с начала 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 |
Таблица истинности.