Suppose we want to synchronize two concurrent processes P and Q using binary semaphores S and T. The code for the processes P and Q is shown below: Process P: while (1) { W: print '0'; print '0'; X: 3 Process Q: while (1) { Y: print '1'; print '1'; Z: } Which of the following will ensure that the output string never contains a sub string of the form 01"o or 10'1 where n is odd? Select one: O A P(S) at W. V(S) at X, P(S) at Y, V(S) at Z, S initially 1 O B. V(5) at W, VIT) at X, P(S) at Y, V(T) at Z, 5 and T initially 1 OC. P(S) at W, VIT) at X, P(T) at Y, V(S) at Z, S and T initially 1 OD. P(S) at W. V(S) at X, PT) at Y, VIT) at Z, S and T initially 1