Die Frage, ob eine Formel (oder eine Formelmenge) eine der genannten Eigenschaften hat, ist ebenso wie die Frage, ob eine Formel allgemeingültig, d. h. eine Tautologie ist, für allgemeine Formeln nicht effizient lösbar:
diː frˈɑːɡə, ˌɔp ˌaɪnə fˈɔɾməl ˌoːdɜ ˌaɪnə fˈɔɾməlmˌɛŋə ˌaɪnə dɛɾ ɡənˈantən ˈaɪɡənʃˌaftən hat, ɪst ˈeːbənzˌoː viː diː frˈɑːɡə, ˌɔp ˌaɪnə fˈɔɾməl ˈalɡeːmˌaɪŋyltˌɪç, dˈeː. hˈɑː. ˌaɪnə tˌaʊtoːloːɡˈiː ɪst, fyːɾ ˈalɡəmˌaɪnə fˈɔɾməln nˈɪçt ɛfˌiːtsɪˈɛnt lˈøːzbɑːɾ: