Четыре друга – андреев, васин, сомов, дымов – решили провести свой отпуск в четырех различных городах – москве, петербурге, киеве и ташкенте. в какой город должен поехать каждый из них, если известно: если андреев не едет в москву, то сомов не едет в петербург; если васин не едет ни в москву, ни в ташкент, то андреев едет в москву; если сомов не едет в ташкент, то васин едет в киев; если дымов не едет в москву, то васин едет в москву; если дымов не едет в петербург, то васин не едет в москву.

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

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