真值指派

（计算机科学技术）

真值指派（truth assignment），计算机科学技术名词，对一个逻辑表达式中的所有命题变量赋予值0或1（分别表示假和真）的一个方法。