Eine Formel heißt erfüllbar, wenn es mindestens eine Interpretation der in ihr vorkommenden Atome (Satzbuchstaben) gibt, unter der die Formel wahr ist.
ˌaɪnə fˈɔɾməl hˈaɪst ɛɾfˈylbɑːɾ, vˌɛn ɛs mˈɪndəstəns ˌaɪnə ˌɪntɜpɾˌeːtatsjˈoːn dɛɾ ɪn iːɾ fˈoːɾkˌɔməndən atˈoːmə zˈatsbuːxʃtˌɑːbən ɡˈiːpt, ˌʊntɜ dɛɾ diː fˈɔɾməl vˈɑːɾ ɪst.