Also ich bin mir nicht sehr sicher was hierbei ein Wahrheitswert ist, aber ich würde davon ausgehen dass man spricht vom Aussagenlogik und eine Wahrheitsbelegung.
Eine Aussage ist aus Aussagenlogische Variablen konstruiert, zB X und Y.
Eine Wahrheitsbelegung ist eine Funktion, die bildet jede Aussagenlogische Variable auf einem Wahrheitswert 0 oder 1.
zum Beispiel X->1 , Y->1. Diese Wahrheitsbelegung bild beide Variablen auf Wahr, also man kann sagen es ist eine erfüllende Wahrheitsbelegung.