---
title: Satisfiability
localeTitle: Satisfiabilidade
---
## Satisfiabilidade

Uma fórmula P é considerada **satisfatória** se **algumas vezes** for verdadeira para alguma atribuição de verdadeiro / falso às variáveis.

Exemplo:

*   x ^ y: é satisfazível com x = T, y = T
*   xvy -> x: é satisfazível com x = T, y = F

Se não houver atribuições, então é considerado Insaturável.

#### Mais Informações: