Почему? Условие же not b, a не b! Цикл выполняется, когда b = false, 4 раза и получается.