可满足的

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