允许的输入值皆为真，亦即是否为逻辑有效的。「用真值表制表的推理模式是由弗雷格、查尔斯·皮尔士和恩斯特·施罗德于1880年代所发明的。这种表格于1920年代之后广泛地发现在许多文献上（扬·武卡谢维奇、埃米尔·波斯特、维特根斯坦）”（蒯因, 39）。路易斯·卡罗早在1894年就公式化了真值表来解决特定问题，但是包含他这项工作的手稿直到1977年才被发现 。维特根斯坦的《逻辑哲学论》利用真值表把真值函数置于序列中。这个着作的广泛影响导致了真值表的传播。真值表被用来计算以「决策程序」建构的命题表示式的值。命