That is, any problem in NP can be reduced in polynomial time by a deterministic Turing machine to the problem of determining whether a Boolean formula is satisfiable.
منظور اینه که، تمامِ مسائل NP با زمانِ چند جمله ای می توانند توسطِ یک ماشین تورینگ به مسئله "Boolean Formula Satisfiable" کاهش یابد.