16 lines
424 B
Markdown
16 lines
424 B
Markdown
|
---
|
||
|
|
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:
|