The question I am trying to answer is:
Transcribe the following to English:
Adam is the tallest one in the class.
Transcription guide:
$Cx$: $x$ is in the class
$Txy$: $x$ is taller than $y$
$a$: Adam
The question also says I have to explicitly state that Adam is not taller than himself. The answer given by the book is,
$\forall x [(Cx \land x\neq a) \rightarrow Tax]$,
however I thought this transcribed to 'Adam is taller than everyone in the class that is not himself' which does not say whether he is taller than himself or not. So I said the sentence could be transcribed as,
$\forall x[Cx \rightarrow (Tax \equiv x \neq a)]$
or
$\forall x [(Cx \land x\neq a) \rightarrow Tax] \land \neg Taa$.
Could you please tell me what the correct answer is?
If the question explicitly asks you to say that Adam is not taller than himself, than the answer in the book did indeed forget to add the $\neg Taa$ statement. So, your second answer is better than the book's. And, your first answer also implies that Adam cannot be taller than himself. So, good for you.
But, as Graham Kemp points out, none of the answers make it clear that Adam is the class ... which is clearly true if Adam is to be 'the tallest one in the class'. So, you should add this to either of your answers, meaning you can do:
$\forall x[Cx \rightarrow (Tax \equiv x \neq a)] \land Ca$
or
$\forall x [(Cx \land x\neq a) \rightarrow Tax] \land \neg Taa \land Ca$