Що означає стрілка у логічних операціях?

Стрілка Пірса (функція Вебба, заперечення диз'юнкції) бінарна логічна операція, булева функція над двома змінними. Введена на розгляд Чарльзом Пірсом у 1880—1881 роках. Таким чином, вислів "X ↓ Y" означає "(не X) і (не Y)", або, що те ж саме, "не (X або Y)".

Стрілка Пірса (логічне «АБО-НЕ») висловлювань a і b – це нове висловлювання, яке буде істинним тоді і тільки тоді, коли обидва висловлювання є хибними. До логічних операцій також відносяться: Унарні: Заперечення

Для запису логічної операції І використовують такі позначення: A І B, A AND B, A · B, A * B, A B, A & B.

Операція диз'юнкція, або логічне додавання, позначається знаком V, | або +.