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.
|
|||
|
|
|||
|
如果没有分配,则认为不满意。
|
|||
|
|
|||
|
#### 更多信息:
|