satisfiable
UK/'sætisfaiəbl/US/'sætisfaiәbl/
A2
释义
adj.
Able to be satisfied or fulfilled (often technical, in logic and computing).
可被满足的（常用于逻辑、计算机领域）。
词根拆分
词根派生satisfy足够，饱，满足
+
-able能够...的，值得...的
=satisfiable
satisfy + -able（可被……）= 能被满足的。在逻辑与计算机中，若存在某种赋值使公式为真，则该公式 satisfiable（可满足）。参见 satisfy。
常用搭配
- 1.satisfiable condition可满足的条件
- 2.satisfiable constraint可满足的约束
- 3.[satisfiable formula]可满足公式
- 4.[satisfiable demand]可满足的需求
例句
- 1.
The algorithm checks whether the formula is satisfiable.
该算法检查公式是否可满足。