Wertbestimmung für schaltalgebraische Ausdrücke

Wertfunktion

 
Die Wertfunktion ordnet einem schaltalgebraischen Ausdruck bei einer Belegung einen Wert aus zu. z.B.

X-Partitionierung

 
Jeder schaltalgebraische Ausdruck teilt die Belegungsmenge X des Vektors x disjunkt in zwei Teilmengen und , wobei gilt:

• ;
• 
• 

Wertbestimmung

 

sprich: Für alle Belegungen gilt: Der Wert eines schaltalgebraischen Ausdrucks bei der Belegung ist 1, genau dann, wenn die von abhängige Aussage wahr ist.

z.B. Zeile (d):
verbal: Der Wert des Ausdrucks bei der Belegung ist gleich 1, genau dann, wenn bit k der Belegung gleich 0 ist.

• Beispiel