Все операторы неполного ветвления будут выполняться последовательно друг за другом, и во всех проверяемое условие истинно.

Оператор полного ветвления будет выполнен после последовательности операторов неполного ветвления. Вычисление обязательно пойдет по одной из ветвей и значение переменной  k еще раз изменится.

Значение переменной  k  может быть равно 0 только в случае, если не выполнился ни один из операторов ветвления. Такая ситуация исключена, т.к. в задаче используется один оператор полного ветвления, следовательно, вычисление обязательно пойдет по одной из ветвей, и значение переменной  k  будет отлично от  0.