Aussagenlogik/Belegung/Wahrheitstabelle/Bemerkung

Den Wahrheitswert eines Ausdrucks  $\alpha \in L^V$  unter der Interpretation $I^{\lambda }$ zu einer Belegung $\lambda$ kann man übersichtlich berechnen, wenn man abhängig von den Variablenwerten (für die in $\alpha$ auftretenden Variablen) sukzessive die Werte der konstituierenden Bestandteile von $\alpha$ berechnet. Um festzustellen, ob eine Tautologie vorliegt, legt man eine Wahrheitstabelle an, bei der die Zeilen durch die möglichen Kombinationen an $0,1$-Werten der einzelnen (in $\alpha$ vorkommenden) Variablen gegeben sind. Am übersichtlichsten wird die Tabelle, wenn man sich bei der Zeilenreihenfolge an das Dualsystem hält. Bei $n$ Variablen gibt es (neben der Kopfzeile) $2^n$ Zeilen.