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