Давайте разберемся с каждым утверждением по отдельности и определим, какие из них являются верными.

• Одна величина может иметь несколько типов.

  Это утверждение неверно. В большинстве языков программирования величина (или переменная) может иметь только один тип данных в данный момент времени. Например, переменная может быть целым числом или строкой, но не одновременно.

• Значение переменной может изменяться в процессе выполнения алгоритма.

  Это утверждение верно. В процессе выполнения программы значение переменной может меняться, что позволяет алгоритму работать с различными данными.

• Величина логического типа не может принимать всего четыре значения.

  Это утверждение также верно. Величина логического типа (boolean) в большинстве языков программирования может принимать только два значения: true (истина) и false (ложь). Таким образом, она не может принимать четыре значения.

• При присваивании переменной какого-либо значения предыдущее её значение сохраняется автоматически.

  Это утверждение неверно. При присваивании нового значения переменной предыдущее значение не сохраняется автоматически. Если необходимо сохранить предыдущее значение, его нужно явно сохранить в другую переменную.

Итак, верные утверждения:

• Значение переменной может изменяться в процессе выполнения алгоритма.
• Величина логического типа не может принимать всего четыре значения.