Будем рассматривать каждую итерацию.
Создаём 2 переменные, x со значением 13 и y со значением 2.
Условие y < 12 ? т.е. 2 < 12 ?
Да!
Переходим к следующему условию, y <= x ? </p>
Да!
От x отнимаем 3 и y умножаем на 2.
Итог: x = 10, y = 4
Возвращаемся к условию y < 12 ?
Да!
y <= x ?</p>
Да!
От x отнимаем 3 и y умножаем на 2.
Итог: x = 7, y = 8
Возвращаемся к условию y < 12 ?
Да!
y <= x ?</p>
Нет!
От y отнимаем 3, умножаем x на y
Итог: y = 5, x = 35
Возвращаемся к условию y < 12 ?
Да!
y <= x ?</p>
Да!
От x отнимаем 3 и y умножаем на 2.
Итог: x = 32, y = 10
Возвращаемся к условию y < 12 ?
Да!
y <= x ?</p>
Да!
От x отнимаем 3 и y умножаем на 2.
Итог: x = 29, y = 20
Возвращаемся к условию y < 12 ?
Нет!
Конец алгоритма.
Конечные значения переменных: x = 29, y = 20.