So, next we examine; next we examine if for each input next state lie in single block of P1 right.
आगे हम जांच करते हैं; आगे हम जांच करते हैं यदि हर इनपुट के लिए अगली स्टेट P1 के एकल ब्लॉक में है.