Четыре друга – Андреев, Васин, Сомов, Дымов – решили провести свой отпуск в четырех...

Question

Четыре друга – Андреев, Васин, Сомов, Дымов – решили провести свой отпуск в четырех различных городах – Москве, Петербурге, Киеве и Ташкенте. В какой город должен поехать каждый из них, если известно: Если Андреев не едет в Москву, то Сомов не едет в Петербург; Если Васин не едет ни в Москву, ни в Ташкент, то Андреев едет в Москву; Если Сомов не едет в Ташкент, то Васин едет в Киев; Если Дымов не едет в Москву, то Васин едет в Москву; Если Дымов не едет в Петербург, то Васин не едет в Москву.

Answer 1

Я пока вижу такое решение задачи
Андреев -, Москва
 Васин -, Киев
 Сомов - Петербург
Дымов - Ташкент

Хотя мне не понятны эти строчки 
Если Дымов не едет в Москву, то Васин едет в Москву;
 Если Дымов не едет в Петербург, то Васин не едет в Москву. 
Так как они противоречат друг другу. Дымов не едет ни в Москву , ни в Петербург, тогда куда деваться  бедному Васину?) по идее куда угодно. Тогда получается как я написал выше)