ВУЗ:
Рубрика:
17
Основные функции алгебры логики
Обоз-
на-
чение
Другие обо-
значения
Таблица
истинности
Название функции Как читать
Х 0 0 1 1
Y 0 1 0 1
X∧Y X⋅Y
X&Y
0 0 0 1 конъюнкция,
логическое произ-
ведение, логиче-
ское
И, функция
совпадения
Х и Y
X∨Y
X+Y
0 1 1 1 дизъюнкция, логи-
ческая
сумма, логическое
ИЛИ,
функция разделе-
ния
Х или Y; либо X,
либо Y, либо Х и
Y
X+Y
X
⊕Y
0 1 1 0 сумма по модулю
2,
разделительная
дизъюнкция,
отрицание эквива-
лентности, функ-
ция неравнознач-
ности
либо X, либо Y;
Х не эквива-
лентно Y
X/Y
⎤ (X∧Y)
Y
X
∧
1 1 1 0 штрих Шеффера,
отрицание конъ-
юнкции
Х и Y несов-
местны;
неверно, что Х и
Y
X→Y X⊃Y
1 1 0 1 материальная им-
пликация
если X, то Y; Х
влечет Y
Х ↔Y
X~Y
X
≡Y
1 0 0 1 эквивалентность,
функция равно-
значности
Х тогда в только
тогда, когда Y
Х ↓ Y ⎤(X∨Y)
XVY
1 0 0 0 стрелка Пирса,
отрицание дизъ-
юнкции,
функция Вебба
ни X, ни Y
17
Основные функции алгебры логики
Обоз- Другие обо- Таблица Название функции Как читать
на- значения истинности
чение
Х 0 0 1 1
Y 0 1 0 1
X∧Y X⋅Y 0 0 0 1 конъюнкция, ХиY
X&Y логическое произ-
ведение, логиче-
ское И, функция
совпадения
X∨Y X+Y 0 1 1 1 дизъюнкция, логи- Х или Y; либо X,
ческая либо Y, либо Х и
сумма, логическое Y
ИЛИ,
функция разделе-
ния
X+Y X⊕Y 0 1 1 0 сумма по модулю либо X, либо Y;
2, Х не эквива-
разделительная лентно Y
дизъюнкция,
отрицание эквива-
лентности, функ-
ция неравнознач-
ности
X/Y ⎤ (X∧Y) 1 1 1 0 штрих Шеффера, Х и Y несов-
X ∧Y отрицание конъ- местны;
юнкции неверно, что Х и
Y
X→Y X⊃Y 1 1 0 1 материальная им- если X, то Y; Х
пликация влечет Y
Х ↔Y X~Y 1 0 0 1 эквивалентность, Х тогда в только
X≡Y функция равно- тогда, когда Y
значности
Х↓Y ⎤(X∨Y) 1 0 0 0 стрелка Пирса, ни X, ни Y
XVY отрицание дизъ-
юнкции,
функция Вебба
