424 B
424 B
title, localeTitle
| title | localeTitle |
|---|---|
| Satisfiability | 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.