可满足的

（计算机科学技术名词）

可满足的（satisfiable）是2018年公布的计算机科学技术名词，出自《计算机科学技术名词》第三版。如果存在一组真值指派使一个逻辑表达式取值1（真），则称该逻辑表达式是可满足的，否则称它为不可满足的（unsatisfiable）。