真值函项

真值函项( truth function) 亦称“真值函数”，定义域和值域都为真值的函项。如果对于一个变元的任意一个允许值，另一变元总有一个确定的值之对应，那么后者(叫做“应变元”)就是前者(叫做“自变元”)的函项。任何真值形式都表示一个真值函项，真值形式是真值函项的表现形式。因此，也可把真值形式看成是真值的项，但两者并不相等，因为一个真值函项可以由多个真值形式表示。