Using the following predicates C(x) x is a car M(x) x is a man O(x,y) xowns y W(x,y) x washes y S(x) x shines P(x) x is pleased translate the following English statement into predicate logic: If a man is pleased, he owns a car and washes it. Vx[M(x)^P(x)]=3y[Cly)^O(x,y)^W(x,y)] O Vx[M(x)^P(x)] = 3y[C(y)^O(y,x)^W(y,x)] O 3x[M(x)^P(x)]=3y[C(y)O(x,y)^W(x,y)] O 3x[M(x)*P(x)]^3y[C(y)^O{x,y)^W(x,y)]