Discusión:Problema de satisfacibilidad booleana
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.
satisfacTibilidad[editar]
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]
Revisé el diccionario de la Real Academia Española y no encontré ninguno de los términos mencionados: satisfacibilidad, satisfactibilidad o satisfabilidad (como pensaba yo que se debía decir antes de que buscara en la RAE). Después de buscar, sugiero que se use el término satisfacción de la siguiente forma: Problema de Satisfacción Booleana. [FelipeNaranja]
Según el diccionario de dudas de la RAE, "satisfacer" se debe conjugar como "hacer", aunque en realidad debería decir que se debe conjugar como "facer". Luego procede usar satisfactible, dado que con hacer se dice "factible", y satisfactibilidad, por analogía con factibilidad. Por otro lado, buscando en google books a los autores que prefieren "satisfactible-satisfactibilidad" frente a los que se deciden por "satisfacible-satisfacibilidad", parece(me) que los de mayor autoridad eligen la primera alternativa. El terminajo se usa en Lógica, Matemáticas, Filosofía y Derecho, y da la impresión de que los papeles de las universidades más prestigiosas de América y España eligen "satisfactibilidad". Pero no deja de ser cosa opinable Boatbadly (discusión) 22:09 10 ene 2012 (UTC)
He iniciado una discusión al respecto en spanish.stackexchange.com, hasta el momento el mejor argumento propuesto es a favor de "Satisfactibilidad" el mismo de Boatbadly sobre el origen de satisfacer en hacer/facer. Si no hay ninguna buena objeción o argumento en contra, propongo re-nombrar el artículo y uniformar en él la ortografía de la palabra (actualmente mezcla los dos usos). -NavarroJ (discusión) 11:26 21 feb 2013 (UTC)
Apoyo la propuesta de NavarroJ. Sigue sin resolverse este problema y los dos usos están mezclados en la página. Zifra (discusión) 17:23 3 oct 2018 (UTC)