---
title: Satisfiability
localeTitle: 可满足
---
## 可满足

如果对于变量的某些真/假赋值**有时**是公式P，则认为公式P是**可满足**的。

例：

*   x ^ y：可满足x = T，y = T.
*   xvy - > x：可满足x = T，y = F.

如果没有分配，则认为不满意。

#### 更多信息：