Это не цикл. В первом случае проверялось не "b>c", а составное условие. Если хотя бы одно из двух будет принимать значение "ложь", то алгоритм "уйдет" по ветке "нет". Т.е. a может быть меньше b, а b как меньше c, так и больше. В любом случае двух приведенных условий недостаточно.