Assume, $P(x) : x$ is a computer scientist. $M(x): x$ is a mathematician. $D(x) : x$ knows discrete math. $C(X) : x$ knows C++.
I translated the sentence into logical statement which is, $$∃x ( ( P(x) ∨ M(x) ) ∧ ( D(x) ∧ C(x) ) )$$ is it correct? and what will be the logically equivalent statement?