Стрілка Пірса (функція Вебба, заперечення диз'юнкції) – бінарна логічна операція, булева функція над двома змінними. Введена на розгляд Чарльзом Пірсом у 1880—1881 роках. Таким чином, вислів «X ↓ Y» означає "(не X) і (не Y)", або, що те ж саме, "не (X або Y)".
Операція логічне "АБО" (OR), диз'юнкція або логічне додавання, позначається + або \/.
Основні логічні символи
| Символ | Назва | Значення Unicode |
|---|---|---|
| ⇒ → ⊃ | Імплікація | U+21D2 U+2192 U+2283 |
| ⇔ ≡ ↔ | Тоді і лише тоді | U+21D4 U+2261 U+2194 |
| ¬ ˜ ! | заперечення | U+00AC U+02DC |
| ∧ • & | кон'юнкція | U+2227 U+0026 |
Штрих Шеффера (NAND, заперечення кон'юнкції) – бінарна логічна операція, булева функція над двома змінними. Введена на розгляд Генрі Шеффером 1913 року. Отже, висловлювання X | Y означає, що X та Y несумісні, тобто не є істинними одночасно.