---
title: Satisfiability
localeTitle: выполнимости
---
## выполнимости

Формула P считается **выполнимой,** если она **иногда** верна для некоторого присваивания переменным true / false.

Пример:

*   x ^ y: Сложно с x = T, y = T
*   xvy -> x: Удовлетворяет х = T, y = F

Если нет заданий, то это считается неудовлетворительным.

#### Дополнительная информация: