Mehrwertige Logik
Die mehrwertige Logik betrachtet neben den in der klassischen (Aristoteleschen) Logik verwendeten Wahrheitswerten "Wahr" und "Falsch" weitere Wahrheitswerte.Eine der ersten mehrwertigen Logiken war die dreiwertige Logik von Jan ?ukasiewicz, die er im frühen zwanzigsten Jahrhundert entwickelte. Sie enthält außer "wahr" und "falsch" den dritten Wert "möglich".
In der Zwischenzeit wurden Logiken wie die Fuzzy-Logik entwickelt, die sogar unendlich viele Wahrheitswerte für den Grad der Wahrheit besitzt. Diese werden durch eine reelle Zahl zwischen 0 und 1 repräsentiert.
In der Hardwareentwicklung von Logikschaltungen werden mehrwertige Logiken zur Simulation eingesetzt, um verschiedene Zustände darzustellen sowie Tristate-Gatter und Busse zu modellieren. In der Hardwarebeschreibungssprache VHDL wird zum Beispiel oft die im IEEE-Standard mit der Nummer 1164 definierte neunwertige Logik verwendet, die Standard Logic 1164. Sie hat die Werte
- U undefiniert
- X unbekannt (starker Treiber)
- 0 logische Null (starker Treiber)
- 1 logische Eins (starker Treiber)
- Z hochohmig (hohe Impedanz Z)
- W unbekannt (schwacher Treiber)
- L logische Null low (schwacher Treiber)
- H logische Eins high (schwacher Treiber)
- - unwichtig don't care