How to obtain Input voltage from ADC value
10 bit ADC means, that you can represent input as number from 0-1023, therefore correct answer is to use 1023, not 1024. It seems like there is a mistake in datasheet, since 0x3FF is 1023, not 1024.