SAT-Problem

SAT – Erfüllbarkeitsproblem der Aussagenlogik.

Eingabe:
Eine aussagenlogische Formel $\phi \in AL$.

Problem:
Entscheide, ob $\phi$ erfüllbar ist.