Variablenbelegung
Einfache Sprache
Def. Variablenbelegung
Eine (boolsche) Variablenbelegung ist eine Funktion, die eine Menge von aussagenlogischer Variablen auf die Wahrheitswerte abbildet. Also $\mathbf V_{\mathrm{AL}}\rightharpoonup \mathbf B$.
Einfache Sprache
Def. Variablenbelegung
Eine (boolsche) Variablenbelegung ist eine Funktion, die eine Menge von aussagenlogischer Variablen auf die Wahrheitswerte abbildet. Also $\mathbf V_{\mathrm{AL}}\rightharpoonup \mathbf B$.