可满足公式
_
satisfiable formula
пословный:
| 可 | 满足 | 公式 | |
2) однако; в самом деле; в конце концов 3) да вот ...; только вот не знаю... 4) разве [не], неужели [не]; откуда бы, где уж тут |
1) довольствоваться, быть удовлетворённым (чем-л.), вполне достаточно, удовлетворённый
2) удовлетворять
3) мат. удовлетворять условиям
|
1) формула; формулировка
2) схема, трафарет, шаблон
|