Решение*

Запишем высказывания:

a: "Андрей – отличник",
b: "Боря – отличник",
c: "Вася – отличник".

Тогда высказывание выглядит так:

(а --> b) ∧ ¬(b --> c). Так как данное истинное высказывание представляет собой конъюнкции двух высказываний, то оба высказывания a --> b и ¬(b --> c) должны быть истинными. Тогда высказывание b --> c должно быть ложно. Импликация ложна, если b истинно, а c ложно. Но если с ложно и а --> с истинно, значит, а ложно. Таким образом, отличником является Борис.