There is a student in your class who has sent everyone else in your class an e- mail message.
M(x,y)=x has sent an e-mail message to y Domain-All students of your class
My solution: (there exists x)(for all y)((x!=y)<->M(x,y))
The solution in Solution Manual (there exists x)(for all y)((x!=y)->M(x,y))
The only difference is the biconditional and the implies.
How does the meaning change with biconditionals and implies?
Remember that $A\leftrightarrow B$ is a shorthand for $(A\to B)\land (B\to A)$.
Your sentence says:
Or in other words:
The sentence from the solution manual says:
This is exactly the meaning from the exercise statement, without saying anything about the sender sending himself messages. This is as it should, since nothing of the latter sort is mentioned in the exercise statement.
So it seems the solution manual is correct.
Probably your confusion comes from the interpretation of the sentence in natural language (which is ambiguous) as contrasted with a logical interpretation.
In daily speech, when we say "Bob sent everybody else a message", we usually implicitly mean that Bob didn't send himself a message, for one because sending yourself messages is kind of strange, and additionally because we would have otherwise probably said the shorter sentence "Bob sent everybody a message". From a linguistic perspective these two sentences have a different meaning that is most likely mutually exclusive.
However, from a logical viewpoint, if Bob sends everybody a message, then Bob also sends everybody who is not Bob a message. So the latter sentence is logically a strictly weaker statement than the first one: it does not make any claims about mails Bob sends himself.
It's comparable to the logical "joke" of answering the question "Do you want coffee or tea?" with "Yes" or of answering "Could you pass the butter?" with "Yes, I could" and not undertaking any action. In logic, you take statements literally.