Стрелка Пирса
Материал из Википедии — свободной энциклопедии
Стрелка Пирса — двуместная логическая операция, введена в рассмотрение Ч. Пирсом (С. Peirce). Стрелка Пирса, обычно обозначаемая 
, задается следующей истинностной таблицей:
| x | y |  |
|
|---|---|---|---|
| 0 | 0 | 1 | |
| 0 | 1 | 0 | |
| 1 | 0 | 0 | |
| 1 | 1 | 0 |
Таким образом, высказывание 
означает «ни A, ни B». Стрелка Пирса обладает тем свойством, что через неё одну выражаются все другие логические операции. Например, высказывание 
(отрицание A) эквивалентно высказыванию 
, конъюнкция 
высказываний A и B выражается так: 
, дизъюнкция 
эквивалентна 
.
