Не пойму как работает true false в данном куске кода?

Я правильно понял, мы задаем условие если печатается: условие кода выполняется , то после этого б присваивается значение false , то есть булево выражение стало false, но зачем тогда писать дальше еще одно условие, я не пойму саму суть конструкции
Мы присвоили б и тру и фолс ,так как это суть булева выражения, а дальше задаем цикл если… «мы задаем условие…»