真值函数 在逻辑中真值函数是从语言的句子生成的函数它采用来自 TF 就是真实和虚假的真值例如句子 A  B 生成真值函数 hAB它的真值是 F当且仅当 A 的值是 T 而 B 的值是 Fn 个变量的命题句子生成 n 个真值函数比如如果有像 A  B  A 这样的  个变量的命题则有  个生成的真值函数 陳述或命题被称为是真值泛函的如果它的真值由它的部件的真值来决定 比如在年月日保罗马丁是加拿大首相是真的在年月日乔治沃克布什是美国总统也是真的所以合取 在年月日保罗马丁是加拿大首相 与 乔治沃克布什是美国总统 是真的在这个句子中与充当真值函数 相反的在在年月日阿尔戈尔是美国总统和布蘭妮斯皮爾斯相信在年月日阿尔戈尔是美国总统知道前者不是真的和后者的真值之间没有关系布蘭妮斯皮爾斯相信阿尔戈尔是总统这个命题的真值不是由阿尔戈尔在那天不是总统的事实来决定的 所以词语相信不是真值函数 用更加数学化的术语真值函数是一种布尔函数并使用布尔变量来持有真值函数的结果是计算机科学的普遍实践确定句子的真值是逻辑和数学二者的基本活动作为结果真值函数在与逻辑和数学基础有关的著作中经常讨论 简单真值函数如 ANDNOT 等可以用真值表确定更复杂的真值函数可能需要重要的计算