Quantifiers

Let C(x,y) mean that x is enrolled in y, where the universe of discourse for x is the set of all students in your school and the universe of discourse for y is the set of all classes being given at your school. Express each of the following statements by a simple English sentence.

(upside down E)x (upside down E)y (upside down A)z ((x does not equal y) ^ (C(x,z)->C(y,z)))

and

(upside down E)x (upside down E)y (upside down A)z ((x does not equal y) ^ (C(x,z)<->C(y,z)))