真值表是含n(n1)命題變項的命題公式 ，***有組賦值將命題公式A在所有賦值之下取值的情況列成表，稱為A的真值表。
構造真值表步驟
找出命題公式中所含的所有命題變項（若無下角標就按字典順序給出），列出所有的可能的賦值（）； 按從低到高的順序寫出各層次； 對應每個賦值，計算命題公式各層次的值，直到最後計算出命題公式的值。