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
|
|||
|
|
|
|||
|
|
Если нет заданий, то это считается неудовлетворительным.
|
|||
|
|
|
|||
|
|
#### Дополнительная информация:
|