Driewaardige logica

Uit Wikipedia, de vrije encyclopedie
Ga naar: navigatie, zoeken

Bij de driewaardige logica, bestaat naast waar (True) en onwaar (False) ook onbekend (Unknown). In databanksystemen moet met deze logica rekening gehouden worden, omwille van het voorkomen van expliciet lege velden die de "waarde" Null bevatten.

Driewaardige rekenregels[bewerken]

A B A OR B A AND B NOT A
T T T T F
T U T U
T F T F
U T T U U
U U U U
U F U F
F T T F T
F U U F
F F F F

Zie ook[bewerken]