В поездке пятеро приятелей Антон, Борис, Вадим, Дима и Гриша

В поездке пятеро приятелей Антон, Борис, Вадим, Дима и Гриша знакомились с попутчицей. Они предложили ей отгадать их фамилии, при этом каждый из их высказал одно подлинное и одно ошибочное утверждение: Дима: Моя фамилия Мишин, а фамилия Бориса Хохлов. Антон: Мишин это моя фамилия, а фамилия Вадима Белкин. Борис: Вадим Тихонов, а моя фамилия Мишин. Вадим: Я Белкин, а фамилия Гриши Чехов. Гриша: Да, моя фамилия Чехов, а Антон Тихонов. У кого какая фамилия?

Решите плез составив логическое выражение, и если будет слизано с иного веб-сайта или логическое выражение без пруфов, сетуйте на себя