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