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:
|