Logiske tegn og symboler
| Symbol | Symbolnavn | Betydning / definisjon | Eksempel |
|---|---|---|---|
| ⋅ | og | og | x ⋅ y |
| ^ | caret / circumflex | og | x ^ y |
| & | ampersand | og | x & y |
| + | Plus | eller | x + y |
| ∨ | omvendt vaktmester | eller | x ∨ y |
| | | vertikal linje | eller | x | y |
| x ' | enkelt tilbud | ikke - negasjon | x ' |
| x | bar | ikke - negasjon | x |
| ¬ | ikke | ikke - negasjon | ¬ x |
| ! | utropstegn | ikke - negasjon | ! x |
| ⊕ | sirklet pluss / oplus | eksklusiv eller - xor | x ⊕ y |
| ~ | tilde | negasjon | ~ x |
| ⇒ | tilsier | ||
| ⇔ | tilsvarende | hvis og bare hvis (iff) | |
| ↔ | tilsvarende | hvis og bare hvis (iff) | |
| ∀ | for alle | ||
| ∃ | det finnes | ||
| ∄ | det eksisterer ikke | ||
| ∴ | derfor | ||
| ∵ | fordi / siden |