SAT como problema NP-completo.
Sintaxis correcta de fórmulas.
Añado los acentos graves antes de las fórmulas en LaTeX.