Une conséquence importante de ce théorème est que s'il existe un algorithme déterministe de temps polynomial pour résoudre la satisfabilité booléenne, il existe alors un algorithme déterministe de temps polynomial pour résoudre tous les problèmes du NP.
Tout problème dans le NP peut être modifié de façon à ce que le théorème de la satisfabilité booléenne puisse être modifié.