Dreiwertige Logik

Dreiwertige Logiken (auch: ternäre Logiken) sind Beispiele für mehrwertige Logiken, also für nichtklassische Logiken, die sich von der klassischen Logik dadurch unterscheiden, dass das Prinzip der Zweiwertigkeit aufgegeben wird. Statt zwei Wahrheitswerten gibt es drei: Anstatt nur wahr (bzw. 1) und falsch (bzw. 0) außerdem noch unbekannt, unbestimmt, möglich oder Don’t-Care (bzw. ½ oder i).