Сообщение пришло по смс или по gmail? (см фото)

1. Жигули, с единицы номер. 
2. Москвич, с семерки номер. 
3. Иномарка, не с единицы. 
Каждый сказал один факт правду и один - ложь. 
Предположим, что первый верно указал цифру 1. Значит, он обманул относительно жигулей. Раз номер с единицы начинается, то другие двое обманули относительно номера, а значит, верно указали марку машины. Но они не могли оба верно указать марку, ведь один сказал - "Москвич", а второй - "иномарка". Значит первое предположение, что номер начинается с единицы - привело нас в тупик. Раз номер не с единички, то первый обманул про номер, значит правду сказал про марку - это "Жигули". 
Раз марка жигули, то второй обманул про Москвич, а значит верно сказал про номер с семерки. Третий значит, обманул про иномарку, но верно сказал, что номер не с единицы начинается. 
Итого - это были "Жигули" и номер начинается с семерки.

Цикл с предусловием это такой цикл, в котором условие проверяется перед выполнением тела цикла.
А цикл с постусловием - на оборот, он сначала выполнит, а потом проверит условие и если условие true, то цикл завершится.

Цикл с постусловием, можно использовать в таких ситуациях, когда надо что-то сделать и если чего-то не хватает, то сделать еще раз. Напрмер отправить письмо на email, а если не отправилось, то повторить еще 3 раза. Сначала выполнится тело цикла, в котором находятся функции отправки письма и если отправка удачная, то сообщаем until() true. Иначе тело выполнится еще и еще и еще кучу раз, если мы не задали счетчик в теле цикла, как вариант...

Цикл с предусловием можно использовать, если надо проверять какое-то значение ПЕРЕД выполнением тела цикла и тебе не важно, должно ли оно хоть раз выполниться. Например запросить пароль у пользователя. Но если пользователь уже ввёл пароль, то зачем его запрашивать? Тут можно было бы использовать while