定义18.6:设p∈P(X),定义p的n元真值函数 Z2Z2为:f=v(p),称为p的度值西数 由p的真值函数所建立的函数值表称为的 真值表。 例:写出合式公式(x1yx2)→(x3→x1)真值表 2 (v1Vv2)→>(-V3>V v000011 0 0 V01010101 0定义18.6:设pP(X)，定义p的n元真值函数 fp :Z2 n→Z2为：fp=v(p)，称fp为p的真值函数。 由p的真值函数所建立的函数值表称为p的 真值表。 例:写出合式公式(x1x2 )→(x3→x1 )真值表 v1 v2 v3  v3 v1 v2 v3→v1 (v1 v2 )→( v3→v1 ) 0 0 0 1 0 0 1 0 0 1 0 0 1 1 0 1 0 1 1 0 0 0 1 1 0 1 1 1 1 0 0 1 1 1 1 1 0 1 0 1 1 1 1 1 0 1 1 1 1 1 1 1 0 1 1 1