3-SAT fragt, ob eine aussagenlogische Formel in konjunktiver Normalform erfüllbar ist, wobei jede Klausel höchstens drei Literale enthält.
3-SAT ist NP-vollständig.