真值函數，也稱爲真值函項，是一種特殊類型的函數，其定義域和值域都是真值集{T(真)，F(假)}。
真值函數接受真值作爲輸入併產生一箇唯一的真值作爲輸出，這意味着，對於相同的真值輸入，真值函數總是產生相同的真值輸出。根據變元的數量，真值函數可以分爲一元、二元、n元等不同類型。例如，邏輯聯結詞如否定(¬)、合取(∧)、蘊含(→)等都可以被理解爲真值函數。在這些邏輯聯結詞中，給定一組命題變元及其真值，真值函數確定這些命題形式的真假。這種函數關係類似於數學中的函數，其中命題變元的真假是自變項，而真值形式的真假是函數值。