任何一個邏輯函數，其表達式的形式都不是唯一，或與式、與或式等等可以相互轉化的。

但它的直值表是唯一的，直值表相當於是普通函數的值域，值域不同就不是同一函數了。

邏輯函數的最小項表達式與真值表具有一一對應的關系，所以邏輯函數的最小項表達式是唯一的。

相同變量構成的最大項表達式與最小式表達式互為反函數（互補關系），同樣它與真值表也是一一對應的關系，最大項表達式也是唯一的。

在邏輯中，真值函數是從語言的句子生成的函數。它採用來自 {T,F} (就是真實和虛假)的真值。例如句子 A → B 生成真值函數 h(A,B)，它的真值是 F，當且僅當 A 的值是 T 而 B 的值是 F。n 個變量的命題句子生成 2^{2^n} 個真值函數。比如，如果有象 A → (B → A) 這樣的 2 個變量的命題則有 16 個生成的真值函數。

陳述或命題被稱為是真值泛函的，如果它的真值由它的部件的真值來決定。

比如，"Paul Martin 在2004年4月20日是加拿大首相" 是真的，"George Bush 在2004年4月20日是美國總統" 也是真的，所以合取:

"Paul Martin 是加拿大首相 與 George Bush 2004年4月20日是美國總統"

是真的。在這個句子中，"與" 充當真值函數。

相反的，在"Al Gore 在2004年4月20日是美國總統" 和 "Britney Spears 相信 Al Gore 在2004年4月20日是美國總統"。知道前者不是真的和後者的真值之間沒有關系: Britney Spears 相信 Al Gore 是總統這個命題的真值，不是由 Al Gore 在那天不是總統的事實來決定的。 所以，詞語'相信'不是真值函數。

用更加數學化的術語，真值函數是一種布爾函數，並使用布爾變量來持有真值函數的結果是計算機科學的普遍實踐。確定句子的真值是邏輯和數學二者的基本活動；作為結果，真值函數在與邏輯和數學基礎有關的著作中經常討論。

簡單真值函數如 AND、NOT 等可以用真值表確定。更復雜的真值函數可能需要重要的計算。