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

Если Дмитрий сказал правду о том, что он Мнишин,
Так получается, что Борис Хохлов(оба утверждения верны)
Этого быть не может
Если Борис сказал правду о том, что он Хохлов, то отсюда следует, что Вадим-Тихонов,
Григорий-Чехов, Антон-Мнишин, Дмитрий-Белкин