В проверке с «&&» вторая часть не выполнится в случае ложной первой?
Зависит от языка программирования. Например VisualBasic имеет два оператора - And и AndAlso. And всегда вычисляет оба аргумента, AndAlso вычисляет второй аргумент только если первый true.
Вот общее описание принципа и как это работает в разных языках: Short-circuit evaluation.