真值表法是一種用於確定邏輯表達式或命題公式在所有可能情況下真值（真或假）的方法。這種方法在邏輯學和計算機科學等領域有著廣泛的套用，具體步驟如下：
確定命題公式中的所有命題變項，並列出這些變項所有可能的真值組合，真值表的列通常包括命題變項（可能是原子或複合的），以及這些變項根據邏輯運算符（如與、或、非）組合形成的表達式的真值。
對於每個命題變項的真值組合，計算整個表達式的真值。
通過分析真值表，可以確定表達式的性質，例如，如果對於所有真值組合表達式都為真，則表達式是一個永真式；如果對於所有真值組合表達式都為假，則表達式是一個矛盾式；如果表達式在某些情況下為真而在其他情況下為假，則表達式是一個條件語句或更一般的邏輯表達式。
真值表的概念由數學家和邏輯學家在20世紀初首次提出，並隨著時間的推移逐漸發展成為邏輯學中的一個重要工具，它不僅用於確定複雜邏輯表達式的真值，還廣泛套用於驗證邏輯蘊含、推理有效性和檢查邏輯系統的一致性等方面。