Eine Wahrheitstabelle ist eine Tabelle, die in der Aussagenlogik jeder Kombination einer bestimmten Anzahl von Wahrheitswerten (häufig zwei) einen bestimmten Resultatwert zuordnet. Sie wird genutzt um boolesche Funktionen darzustellen und um einfache aussagenlogische Beweise zu führen. Sie ordnet der rein beschreibenden Form (Syntax), einer Aussagenverknüpfung, eine Bedeutung (Semantik) zu.
|
