可滿足的

可滿足的（satisfiable）是2018年公布的計算機科學技術名詞，出自《計算機科學技術名詞 》第三版。

基本介紹

• 中文名：可滿足的
• 外文名：satisfiable
• 所屬學科：計算機科學技術
• 公布時間：2018年

定義

如果存在一組真值指派使一個邏輯表達式取值1（真），則稱該邏輯表達式是可滿足的，否則稱它為不可滿足的（unsatisfiable）。

出處

《計算機科學技術名詞 》第三版。