prˈɔblɛm spˌɛwɲʲalnˈɔɕtɕi jɛst jˈɛdnak f kˈaʒdɨm sɨstˈɛmjɛ napʃˈɨkwad zupˈɛwnɨ, zˈaɕ prˈɔblɛm tˌawtɔlˈɔɡji tsˈɔ napʃˈɨkwad zupˈɛwnɨ.
Problem spełnialności jest jednak w każdym systemie NP zupełny, zaś problem tautologii – CoNP zupełny.