5.1 P, NP und Erfüllbarkeit