A．t[1]=u[1] ∧t[2]=w[2] ∧t[3]=v[4]

B．t[1]=v[1] ∧t[2]=u[2] ∧t[3]=u[4]

C．t[1]=w[1] ∧t[2]=u[2] ∧t[3]=v[4]

D．t[1]=u[1] ∧t[2]=v[2] ∧t[3]=v[4]