Логически знаци и символи
| Символ | Име на символа | Значение / определение | Пример |
|---|---|---|---|
| ⋅ | и | и | x ⋅ y |
| ^ | карета / циркумфлекс | и | x ^ y |
| & | амперсанд | и | x & y |
| + | плюс | или | x + y |
| ∨ | обърната карета | или | x ∨ y |
| | | вертикална линия | или | x | у |
| х ' | единична кавичка | не - отрицание | х ' |
| x | бар | не - отрицание | x |
| ¬ | не | не - отрицание | ¬ х |
| ! | удивителен знак | не - отрицание | ! х |
| ⊕ | закръглен плюс / плюс | изключителен или - xor | x ⊕ y |
| ~ | тилда | отрицание | ~ х |
| ⇒ | предполага | ||
| ⇔ | еквивалентен | ако и само ако (iff) | |
| ↔ | еквивалентен | ако и само ако (iff) | |
| ∀ | за всички | ||
| ∃ | съществува | ||
| ∄ | не съществува | ||
| ∴ | Следователно | ||
| ∵ | защото / оттогава |