(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，二 ，T)為a的有缺成真指派.
(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，二 ，T)為a的有缺成真指派.