sentence2: Поставља се питање да ли исказ важи или не, да за све проблеме за које алгоритам може брзо да провери дато решење (то јест, у полиномијалном времену ), алгоритам такође може брзо да пронађе решење.
sentence1: بالنسبة لجميع المشاكل التي يمكن لخوارزمية التحقق من حل معين بسرعة (أي في زمن كثير الحدود)، يمكن لخوارزمية أن تجد الحل بسرعة أيضًا.