如果一个公式在某些解释中至少取一个真值，则称该公式是可满足的。
可满足性
参见
解释, 可满足性问题, 不可满足性使用 Wolfram|Alpha 探索
引用为
Weisstein, Eric W. “可满足性。” 来源：MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/Satisfiable.html
主题
主题
主题
如果一个公式在某些解释中至少取一个真值，则称该公式是可满足的。
Weisstein, Eric W. “可满足性。” 来源：MathWorld--Wolfram Web 资源。 https://mathworld.net.cn/Satisfiable.html