Dreiwertige Logik (OCL)

Ein logisches System mit den Werten true, false und null (Undefined). Es modelliert die Unsicherheit durch fehlende Werte oder Fehler.
Wichtige Axiome:

• null propagiert nicht immer: true OR null ist true, false IMPLIES null ist true.
• Aber: true AND null ist null, NOT null ist null.