алгебра логики. решить табличным способом.

Спор болельщиков о результатах скачек.
Петя: Выиграет Алмаз или Гранат.
Вася: Первым будет Верный.
Коля: Или Верный, или Алмаз.
В итоге оказался прав один из друзей. Кто дал верный прогноз?