похоже на условный оператор if. Однако в случае циклических операторов их тела могут выполняться далеко не один раз. В случае if, если логическое выражение в заголовке возвращает истину, то тело выполняется единожды. После этого поток выполнения программы возвращается в основную ветку и выполняет следующие выражения, расположенные ниже всей конструкции условного оператора.
В случае while, после того как его тело выполнено, поток возвращается к заголовку цикла и снова проверяет условие. Если логическое выражение возвращает истину, то тело снова выполняется. Потом снова возвращаемся к заголовку и так далее.
Цикл завершает свою работу только тогда, когда логическое выражение в заголовке возвращает ложь, то есть условие выполнения цикла больше не соблюдается. После этого поток выполнения перемещается к выражениям, расположенным ниже всего цикла. Говорят, "происходит выход из цикла".
Данное выражение истинно тогда и только тогда, когда истинно хотя бы одно из следующих выражений: 
или 
(*); Важно понимать, что последнее выражение невозможно сделать истинным при любых переменных. Действительно, всегда можно выбрать 
; Поскольку 
, то можно выбрать 
и гарантированно обеспечить ложность последнего выражения. Тогда 
; Значит A хотя бы 11, все меньшие значения опровергаются значением ; Докажем, что 
подходит: в силу 
имеем 
- это выражение верно, а, значит, верно и все выражение (при любых переменных), благодаря (*).
Между 1 января и 30 сентября пройдет 9 месяцев.
Т.е. Пройдет 9/4,5=2 т.е два "полных цикла" стрижки.
Ну тогда 30 сентября, если она еще не ходила в парикмахерскую "прирост" волос будет как раз 18 см, а после парикмахерской 0 см.