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

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

Оператор присваивания заменяет текущее значение переменной новым значением, задаваемым выражением. Значение переменной b станет равно 3.  При вычислении значения переменной  f  будет использоваться новое значение переменной b.