16 lines
391 B
Markdown
16 lines
391 B
Markdown
---
|
|
title: Satisfiability
|
|
localeTitle: Satisfacción
|
|
---
|
|
## Satisfacción
|
|
|
|
Una fórmula P se considera **satisfactoria** si a **veces** es cierta para una asignación de verdadero / falso a las variables.
|
|
|
|
Ejemplo:
|
|
|
|
* x ^ y: es Satisfiable con x = T, y = T
|
|
* xvy -> x: es Satisfiable con x = T, y = F
|
|
|
|
Si no hay asignaciones, entonces se considera Insatisfiable.
|
|
|
|
#### Más información: |