对任意的v12n∈Z2将v12V2vn分别 指派给x12x2.xn 由定理18.1知此指派可唯一扩张为赋值 v:P(Xn)→Z 29 此时对任意p∈P(X)都有确定的真值 v(p)∈Z2 由此定义n元真值函数f:Z2n→Z2,使得 p(v1,v2s.vn=v(p) 定义18.5:函数:Z2nZ2称为n元瘪信函 数对任意的v1 ,v2 ,vnZ2 ,将v1 ,v2 ,vn分别 指派给x1 ,x2 ,xn 由定理18.1知此指派可唯一扩张为赋值 v:P(Xn )→Z2 , 此时对任意pP(Xn ),都有确定的真值 v(p)Z2 由此定义n元真值函数fp :Z2 n→Z2 ,使得 fp (v1 ,v2 ,vn )=v(p). 定义18.5:函数f: Z2 n→Z2称为n元真值函 数