Eine Wahrheitswertefunktion (kurz: Wahrheitsfunktion) ist eine Funktion im mathematischen Sinn, die Wahrheitswerte auf Wahrheitswerte abbildet. Formal gesprochen ist der Wertebereich einer Wahrheitswertefunktion die Menge der Wahrheitswerte, in der klassischen Logik also die Menge { wahr, falsch }. Ihr Definitionsbereich ist bei einer einstelligen Wahrheitsfunktion ebenfalls die Menge der Wahrheitswerte; bei einer n-stelligen Wahrheitsfunktion ist der Definitionsbereich die Menge aller n-Tupel aus Wahrheitswerten.