27-09-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 |
Таблицы истинности.