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