16 lines
564 B
Markdown
16 lines
564 B
Markdown
---
|
||
title: Satisfiability
|
||
localeTitle: выполнимости
|
||
---
|
||
## выполнимости
|
||
|
||
Формула P считается **выполнимой,** если она **иногда** верна для некоторого присваивания переменным true / false.
|
||
|
||
Пример:
|
||
|
||
* x ^ y: Сложно с x = T, y = T
|
||
* xvy -> x: Удовлетворяет х = T, y = F
|
||
|
||
Если нет заданий, то это считается неудовлетворительным.
|
||
|
||
#### Дополнительная информация: |