Una instancia del problema SAT es una expresión booleana que combina variables booleanas con operadores booleanos.