Для цикла с предусловием справедливо утверждение: …
выполнять тело цикла до тех пор, пока проверяемое условие не станет истинным
если условие истинно, выполнить последовательность действий
выполнять тело цикла заданное число раз
пока проверяемое условие истинно, выполнять тело цикла