Por ejemplo, una instancia del problema SAT sería preguntarse si la siguiente expresión es verdadera: