真值指派（truth assignment）是2018年公布的计算机科学技术名词，指对逻辑表达式中的所有命题变量赋予值0（假）或1（真）的方法。当命题形式含有n个不同命题变元时，真值指派共有2n种可能组合。其定义与可满足性直接相关，SAT问题的核心在于判定是否存在满足条件的真值指派。

对一个逻辑表达式中的所有命题变量赋予值0或1（分别表示假和真）的一个方法。

《计算机科学技术名词 》第三版。