如果一個公式在某些解釋中至少取一個真值，則稱該公式是可滿足的。
可滿足性
參見
解釋, 可滿足性問題, 不可滿足性使用 探索
引用為
Weisstein, Eric W. “可滿足性。” 來源： Web 資源。 https://mathworld.tw/Satisfiable.html
主題
主題
主題
如果一個公式在某些解釋中至少取一個真值，則稱該公式是可滿足的。
Weisstein, Eric W. “可滿足性。” 來源： Web 資源。 https://mathworld.tw/Satisfiable.html