(satisfying assignment of a propositional formula)一种指派.是使命题公式的真值为真的指派.例如,设公式a= (p-q) V r.对应于指派(T,F,T),a的真值为T,所以(T,F,T)称为a的成真指派.有缺指派亦可为成真指派.例如,不论指派p}q以何真值,只要指派:以T,则所对应的公式a的真值总为T,所以((x,二 [1] ,T)为a的有缺成真指派.