真值表是含n(n<=1)命题变项的命题公式，它将命题公式A在所有赋值之下取值的情况列成表。
构造真值表的步骤如下：
1. 找出命题公式中所含的所有命题变项（若无下角标就按字典顺序给出），列出所有的可能的赋值（）；
2. 按从低到高的顺序写出各层次；
3. 对应每个赋值，计算命题公式各层次的值，直到最后计算出命题公式的值。
真值表中的列标题展示了命题函数与/或变量，以及建造自这些命题函数或变量和运算符的真值泛函表达式。行展示对这些命题函数或变量和运算符的T或F指派的每个可能的求值，换句话说，每行都是对它们的不同解释。
经典(就是说二值)逻辑的真值表限定于只有两个真值是可能的系统，它们是真或假，通常在表中简单的表示为T和F。