Edición de «Práctica 11: Problemas P y NP (Algoritmos III)»
De Cuba-Wiki
Puedes deshacer la edición. Antes de deshacer la edición, comprueba la siguiente comparación para verificar que realmente es lo que quieres hacer, y entonces publica los cambios para así efectuar la reversión.
Revisión actual | Tu texto | ||
Línea 205: | Línea 205: | ||
==Ejercicio 11.19:== | ==Ejercicio 11.19:== | ||
Resuelve SAT . Usar la siguiente formula : FormulaOriginal | Resuelve SAT . Usar la siguiente formula : FormulaOriginal o q. | ||
Con q variable fresca. | Con q variable fresca. | ||