This file contains ambiguous Unicode characters that may be confused with others in your current locale. If your use case is intentional and legitimate, you can safely ignore this warning. Use the Escape button to highlight these characters.
---
title: Satisfiability
localeTitle: 可满足
## 可满足
如果对于变量的某些真/假赋值**有时**是公式P，则认为公式P是**可满足**的。
例：
* x ^ y：可满足x = T，y = T.
* xvy - > x：可满足x = T，y = F.
如果没有分配，则认为不满意。
#### 更多信息：