for deadlock, if bounded wait and progress both are satisfied then we can say that deadlock can't occur.
A) only progress is satisfied so we can't say anything about deadlock. may be or may not be.
B)False.
C) in TSL, for 2 processes it is not satisfied.
so i think, answer is D.