El Teorema de Cook demuestra que el problema de satisfacibilidad booleana es un problema NP-completo.