In der Logik nennt man eine Abbildung, die jedem n-Tupel von Wahrheitswerten einen Wahrheitswert zuordnet, eine Wahrheitswertfunktion bzw. genauer eine n-stellige Wahrheitswertfunktion. Man redet mitunter auch kurz von einer Wahrheitsfunktion.
Ein Satz heiß wahrheitsfunktionell, wenn sein Wahrheitswert nur von den Wahrheitswerten der atomaren Sätze, die dieser enthält, abhängt.
Besonders wichtig ist der Fall mit zwei Wahrheitswerten, d. h. der Fall, in dem das Prinzip der Zweiwertigkeit gilt.
Eine Möglichkeit, eine Wahrheitswertfunktion anzugeben besteht in der vollständigen Aufstellung ihrer Wahrheitswerttabelle (auch: Wahrheitsmatrix, Wertetabelle, Wahrheitswertetafel oder Wahrheitstafel.
Die Wahrsheitswertetabelle besteht für eine n-stellige zweiwertige Wahrheitswertfunktion aus n+1 Spalten, je eine für die n Argumente und den Funktionswert, und aus 2n Zeilen, wobei in jeder Zeile ein n-Tupel von Wahrheitswerten und der dazugehörige Funktionswert stehen.
Zur Angabe von mehreren gleichstelligen Wahrheitswerten ist es bequem, eine Wahrheitswerttafel zu verwenden, in der jeder Funktion eine Spalte entspricht, dadurch erspart man sich das mehrfache Hinschreiben der Argumente.
Die 1. und die 4. Wahrheitswertfunktion sind konstante Wahrheitswertfunktionen. Die 2. ist die identische einstellige Wahrheitswertfunktion. Die 3. Funktion ist die Negationsfunktion bzw. non-Funktion. Sie entspricht der einstelligen Aussagenoperation Negation und wird daher oft auch einfach Negation genannt.
Von den 16 zweistelligen Wahrheitswertfunktionen sind einige von besonderem Interesse. Die 2. Funktion ist die vel-Funktion, die 5. Funktion ist die seq-Funktion, die 7. Funktion ist die eq-Funktion und die 8. Funktion die et-Funktion.
Sie entsprechen den zweistelligen Aussagenoperationen Alternative, Implikation, Äquivalenz und Konjunktion. Daher werden diese Funktionen oft auch durch diese Worte benannt.
Die 10. Funktion heißt auch die aut-Funktion und wird Antivalenz genannt. Sie entspricht der zweistelligen Aussagneoperation entweder – oder. Die 9. Funktion wird die Sheffer- oder nand-Funktion, die 15. die Nicod-, Peirce- oder nor-Funktion genannt. Die 3. Funktion nennt man auch Gegenimplikation oder Replikation.
Die non-, et-, vel-, seq- und eq-Funktion werden auch die klassischen Wahrheitswertfunktionen genannt.
