真值表 真值表是使用於邏輯中特別是在連結邏輯代數布林函數和命題邏輯上的一類數學用表用來計算邏輯表示式在每種論證即每種邏輯變數取值的組合上的值尤其是真值表可以用來判斷一個命題表示式是否對所有允許的輸入值皆為真亦即是否為邏輯有效的 用真值表製表的推理模式是由弗雷格查尔斯皮尔士和恩斯特施羅德於年代所发明的這種表格於年代之後廣泛地發現在許多文獻上扬武卡谢维奇埃米爾波斯特维特根斯坦蒯因 路易斯卡罗早在年就公式化了真值表来解决特定问题但是包含他这项工作的手稿直到年才被发现维特根斯坦的逻辑哲学论利用真值表把真值函数置于序列中这个著作的广泛影响导致了真值表的传播 真值表被用來計算以決策程序建構的命題表示式的值命題表示式可以是一個原子公式命題常數命題變數或命題函數如Px或Px或以邏輯算子如邏輯與  displaystyle land  邏輯或  displaystyle lor  邏輯非  displaystyle lnot  由原子公式建構出來的公式舉例來說 F x  G x displaystyle Fxland Gx 即是個命題表示式 真值表中的列标题展示了 i命题函数与或变量和 ii建造自这些命题函数或变量和运算符的真值泛函表达式行展示对 i和 ii的T或F指派的每个可能的求值换句话说每行都是对 i和 ii的不同解释 经典就是说二值逻辑的真值表限定于只有两个真值是可能的布尔逻辑系统它们是真或假通常在表中简单的表示为T和F