Условно 3-х соучастников соревнований: Алексеева, Беднякова и Воробьева были высказаны

Поясните, пожалуйста

Условия:
1. Алексеев и Воробьев будут либо не будут в призерах соревнований сразу.
2. Воробьев будет в тройке фаворитов, то и Алексеев тоже.
3. Алексеев не будет среди призеров либо посреди победителей будут Бедняков и Воробьев.

Сходу заменим фамилии в буквы:
Алексеева = А
Беднякова = Б
Воробьева = В

Запишим утверждение пользуясь языком логических выражений:
! - логическое отрицание
- дизьюнкция, логическое Либо
- коньюнкция, логическое И

Запись первой буковкы фамилии учасника будем считать за утверждение, что он заходит в тройку фаворитов, то есть Правда
Отрицанием же будет утверждение, что он не входит в тройку фаворитов.

1.
Алексеев и Воробьев будут в призерах соревнований сразу на языке логических выражений выглядит вот так:
(А В)

Алексеев и Воробьев не будут в призерах соревнований сразу:
!(А В)

И 1-ое и 2-ое выражение заходит в 1-ое условие, запишим его едино:
(А В) !(А В)

2.
2-ое условие можем изобразить как:
В А

3.
Третье условие выходит из двух.Алексеев не будет среди призеров:
!А

Или среди фаворитов будут Бедняков и Воробьев:
Б В

Теперь опять объеденим в одно целое:
!А (Б В)

Теперь запишим все утверждения целеком рядом:
1. (А В) !(А В)
2. В А
3. !А (Б В)

Вопрос: После соревнований оказалось, что два из догадок подлинно, а одно - фальшиво. Кто из спортсменов был в призерах?

Наглядно видно, что в последнем (третьем) утверждении два обязаны быть именны, а одно ошибочно.

Ответ: Бедняков и Воробьев были в призерах.

Спасибо за отметку "Превосходнейший ответ" и нажатую кнопочку "Спасибо" - здесь и у меня в профиле.