Die Frage, ob eine Aussage erfüllbar ist, wird Erfüllbarkeitsproblem oder SAT-Problem (nach dem englischen Wort für Erfüllbarkeit, satisfiability) genannt.
diː frˈɑːɡə, ˌɔp ˌaɪnə ˈaʊszˌɑːɡə ɛɾfˈylbɑːɾ ɪst, vˌɪɾt ɛɾfˈylbaɾkˌaɪtʃpɾɔbləm ˌoːdɜ ˌɛsˌɑːtˈeːpɾoːblˈeːm nɑːx deːm ˈɛŋlɪʃən vˈɔɾt fyːɾ ɛɾfˈylbaɾkˌaɪt, (en)sˌatɪsfˌaɪəbˈɪlɪti(de) ɡənˈant.