Ну, смотрите. Оба они лжецами быть не могут - иначе бы сказанные ими числа отличались на 10 или не отличались бы вовсе.
Теперь надо выяснить кто из них кто.
Допустим, первый студент - правдолюб. Тогда лжецов получится 504, а правдолюбов 506 (включая его самого). Тогда второй студент будет лжецом, а значит данные должны отличаться на 5 человек - должно быть 500 лжецов не считая его и 501 правдолюб (или же 509 лжецов не считая его и 510 правдолюбов). Как видно, цифры не совпадают с условиями задачи. А это значит, что предположение не верно и первый студент - лжец, а второй - правдолюб.
Проверим:
Если первый студент лжец, то по его словам лжецов здесь 505, как и правдолюбов. Значит на самом деле число лжецов 500 или 510, и правдолюбов 500 или 510.
Второй студент - правдолюб, он говорит, что в аудитории 500 лжецов и 500 правдолюбов (считая его). Совпало.
Ответ: первый студент - лжец, а второй правдолюб.