Here as we can see P1 increases x by 1 and gets out of loop if x>=y. And P2 increases y by 1 and gets out of loop if x==y.
As we can see that P1 can get executed by making x==y, but P2 can not get executed i.e. it will never come out of loop because when x==y then P2 first increases y by 1, making x!=y thus never coming out of loop.
Thus, statement (c) is FALSE.