Teorema Cook

Teorema Cook-Levin atau dikenal juga dengan teorema Cook menyatakan bahwa :
Problem satisfiabiity (SAT) adalah NP-complete