Let B be the universal body of students at a university.

Let

S(x) stand for "x is smart".

Y(x) stand for "y is young".

C(x) stand for "x is a CS Major"

Translate the following sentences into quantified formulas.

1- All CS majors are smart

2- Some CS majors are smart and not young.

3- No young college students are CS majors.