单项选择题

A.{t|R(t)∨┐s(t)}
B.{t|R(t)∧┐S(t)}
C.{t|(u)R(t∨┐S(u))
D.{t|(u)R(t)∧┐S(u)}