2. Позволю себе добавить: для второго пункта условие продолжения x<=b (т.к. речь идет о цикле с предусловием)

А программы действительно очень странные. Вы значения y пытаетесь вычислять в одном цикле, а x вычислять в следующем. Это по меньшей мере не логично. К тому же первая программа вообще содержит бесконечный цикл.