Conforme expõem Forbellone e Eberspächer (2022), os operadores lógicos em C – como o operador && – seguem a regra da avaliação de curto-circuito. Isso significa que, em uma conjunção (E lógico), se o primeiro operando for avaliado como falso (zero), o segundo operando não será processado, pois o resultado final da expressão já estará logicamente determinado. Suponha que um sistema de segurança verifica um código de acesso e, simultaneamente, tenta registrar a tentativa através de um incremento na mesma linha: if (codigo_valido == 0 && tentativas++ > 0) Analise a relação entre as asserções: I. Caso a variável codigo_valido tenha o valor 0 (falso), a variável tentativas permanecerá com seu valor original, sem sofrer o incremento. PORQUE II. A linguagem C interrompe a avaliação da expressão se o lado esquerdo de um operador && for falso, ignorando quaisquer efeitos colaterais (como incrementos) do lado direito. Assinale a alternativa correta a seguir.