Discusión:Problema de satisfacibilidad booleana
De Wikipedia, la enciclopedia libre
Al final se dice:
Sin embargo, la cadena (n000/0p00)(p000/0n00) no está en LSAT, ya que no hay ninguna asignación de verdad que satisfaga todas sus cláusulas simultáneamente.
Esta formula es: (¬x1 o x2) i (x1 o ¬ x2)
SI que hay assignaciones de verdad que satsfagan sus cláusulas. Por ejemplo x1 = cierto, x2 = cierto.
El ejemplo tendria que ser:
(¬x1) i (x1)
Me equivoco?
- Hola, el ejemplo fue introducido en enero de 2005. Desde entonces no nos habíamos percatado. Restauré la versión de enero esperando desarrollar nuevamente los ejemplos. Gracias. --Ascánder 13:18 6 jun, 2005 (CEST)
Hola. Creo que no se trata de si el problema tiene solucion o no, sino de como se pueden encontrar estas. En este caso el problema es bastante simple, y no creo que sea un buen ejemplo.
[editar] satisfacTibilidad
Se dice satisfactibilidad, con 'T'
El problema de la satisfacibilidad, efectivamente, consiste en responder si cierta variable debe ser True o False para satisfacer la fórmula; sin embargo, como ese problema no es de interés, es costumbre considerar que el NP consiste en evaluar cada una de las variables.
Se ha apuntado que se dice satisfactibilidad, pero como es una palabra técnica, no hay confusión en su uso y es muy frecuente ese "error", entonces, en mi opinión, se pueden aceptar ambos términos. [Juan Manuel Dato]
