16 lines
319 B
Markdown
16 lines
319 B
Markdown
|
---
|
|||
|
|
title: Satisfiability
|
|||
|
|
localeTitle: 可满足
|
|||
|
|
---
|
|||
|
|
## 可满足
|
|||
|
|
|
|||
|
|
如果对于变量的某些真/假赋值**有时**是公式P，则认为公式P是**可满足**的。
|
|||
|
|
|
|||
|
|
例：
|
|||
|
|
|
|||
|
|
* x ^ y：可满足x = T，y = T.
|
|||
|
|
* xvy - > x：可满足x = T，y = F.
|
|||
|
|
|
|||
|
|
如果没有分配，则认为不满意。
|
|||
|
|
|
|||
|
|
#### 更多信息：
|