Der Satz von Cook, auch bekannt als Cook-Levin-Theorem, besagt, dass das Erfüllbarkeitsproblem (SAT) der Aussagenlogik NP-vollständig ist. Das bedeutet, dass es zu den schwierigsten Problemen in der Klasse NP gehört und alle anderen Probleme in NP in polynomieller Zeit darauf reduziert werden können.