Выражение A mod 7 дает остаток от деления числа А на 7, от 0 до 6.
Поэтому, если К2 должно получиться воскресенье (7), то после операции (N + K1) mod 7 получится не 7, а 0.
Поэтому нужно вычесть 1 в скобке (будет остаток 6 вместо 7) и прибавить 1 после скобки.
Ответ: 3) K2 := ((N + K1 - 1) mod 7) + 1