⊼
Mathematischer Operator 185
- Unicode
- U+22BC
- Kategorie
- Mathematik
- HTML Entity
- ⊼
- CSS
- \22BC
Das Symbol ⊼ steht in der Mathematik und Aussagenlogik für die NAND-Verknüpfung (Nicht-UND). Es repräsentiert die direkte Verneinung eines logischen UNDs (Konjunktion) – die Aussage ist also nur dann „falsch“, wenn alle Eingabewerte „wahr“ sind. Du findest dieses Zeichen vor allem in der theoretischen Informatik, der formalen Logik und beim Entwurf digitaler Schaltungen.
So tippen Sie
- Windows
- Win + . (Emoji-Panel öffnen) und bei Symbolen suchen, oder 22BC tippen und Alt + X drücken (in Word)
- macOS
- Control + Command + Space (Zeichenübersicht öffnen) und nach dem Unicode 22BC suchen
- Linux
- Strg + Umschalt + U, dann 22bc tippen und Enter drücken
- HTML
- ⊼
In der Programmierung
In der alltäglichen Programmierung wird ⊼ kaum verwendet; stattdessen greifen Entwickler auf Kombinationen wie `!(a && b)` zurück. In der akademischen Literatur, technischer Dokumentation oder in speziellen formalen Sprachen (wie Agda) dient es jedoch zur kompakten Notation.
Tags
mathematik
logik
nicht und
nand
boolesch