Boolesche Funktionen
Bew: Über Funktionstabelle
f : {wahr,falsch}n -> {wahr,falsch} oder f : Bn -> B mit B = {0,1}
Def.: Es sei ein n-Tupel von binären Variablen (x1, x2,...,xn) gegeben. Eine n-stellige Boolesche Funktion ordnet jeder Belegung der Variablen x1, x2,...,xn mit den Wahrheitswerten „wahr“ oder „falsch“ genau einen Wahrheitswert zu.