Questão de Programação — Programação estruturada — Quadrix 2025

Operadores lógicos em pseudocódigo

Gabarito: letra D. A condição composta (x = 4 E y = 3) OU (x = 5) é avaliada como verdadeira porque a segunda parte da expressão, x = 5, é verdadeira — e, no operador lógico OU, basta que uma das subcondições seja verdadeira para que toda a expressão seja verdadeira. A alternativa D captura exatamente isso: "a primeira parte da condição é satisfeita" (referindo-se à primeira subcondição do OU, que é x = 5).

O trecho de pseudocódigo apresentado na questão envolve uma estrutura condicional SE...ENTÃO...SENÃO, que é uma das estruturas de desvio condicional mais básicas da programação. Ela permite que o programa escolha um caminho de execução com base no resultado de uma condição lógica. No caso, a condição é composta por duas subcondições unidas pelo operador lógico OU (OU), que em linguagens de programação é representado por || ou or.

O operador OU é um operador lógico binário que retorna verdadeiro se pelo menos uma das subcondições for verdadeira. Isso é diferente do operador E (E, &&, and), que só retorna verdadeiro se todas as subcondições forem verdadeiras. Essa distinção é fundamental para resolver a questão: enquanto no E a exigência é total, no OU a exigência é mínima — basta uma verdade para o resultado ser verdadeiro.

Vamos analisar o pseudocódigo com valores concretos. Suponha que as variáveis sejam inicializadas com x = 5 e y = 3. A condição avaliada é:

(x = 4 E y = 3) OU (x = 5)

Substituindo os valores:

• Primeira subcondição: x = 4 → 5 = 4 → falsa.

• Segunda subcondição (dentro do E): y = 3 → 3 = 3 → verdadeira.

• Como o E exige que ambas sejam verdadeiras, a expressão (x = 4 E y = 3) é falsa.

• Terceira subcondição (dentro do OU): x = 5 → 5 = 5 → verdadeira.

• Como o OU exige apenas uma verdadeira, a expressão completa (falso) OU (verdadeiro) é verdadeira.

Portanto, o programa entra no bloco do ENTÃO e exibe "Condição verdadeira". A alternativa D está correta porque afirma que a condição é verdadeira e que "a primeira parte da condição é satisfeita" — referindo-se à primeira subcondição do OU, que é x = 5.

A pegadinha da banca está em confundir o operador OU com o operador E. Muitos candidatos, ao verem a subcondição x = 4 E y = 3 ser falsa, concluem erroneamente que toda a condição é falsa, ignorando que o OU permite que a segunda parte (x = 5) salve a expressão. É exatamente essa inversão de lógica que a alternativa B explora.

Guarde a regra de ouro: no OU, uma verdade basta; no E, todas são necessárias. É essa fronteira que separa as alternativas corretas das incorretas nesta questão.

Alternativa A — ❌ Incorreta

Afirma que a condição é falsa porque "apenas uma subcondição é verdadeira". Esse raciocínio seria válido para o operador E, mas não para o OU. No OU, uma única subcondição verdadeira já é suficiente para tornar toda a expressão verdadeira. Como x = 5 é verdadeiro, a condição completa é verdadeira, e o programa exibe "Condição verdadeira".

Alternativa B — ❌ Incorreta

Afirma que a condição é falsa porque x = 4 E y = 3 não é verdadeira. De fato, essa subcondição é falsa (pois x = 4 é falso), mas isso não torna a expressão inteira falsa. O operador OU permite que a segunda parte (x = 5) seja avaliada, e como ela é verdadeira, a condição completa é verdadeira. A alternativa ignora a presença do OU e trata a expressão como se fosse apenas um E.

Alternativa C — ❌ Incorreta

Afirma que a condição é verdadeira porque x = 4 já basta para validar toda a condição. Isso é um erro duplo: primeiro, x = 4 é falso (pois x = 5); segundo, mesmo que fosse verdadeiro, a justificativa estaria errada, pois a condição verdadeira vem de x = 5, não de x = 4. A alternativa confunde qual subcondição é verdadeira.

Alternativa D — ✅ Correta ⟵ GABARITO

Afirma que a condição é verdadeira porque "a primeira parte da condição é satisfeita". Aqui, "primeira parte" refere-se à primeira subcondição do operador OU, que é x = 5. Como x = 5 é verdadeiro, o OU retorna verdadeiro, e o programa exibe "Condição verdadeira". A alternativa está correta tanto no resultado quanto na justificativa.

Alternativa E — ❌ Incorreta

Afirma que a condição é falsa porque "não se pode usar E e OU juntos em uma mesma expressão". Isso é falso: é perfeitamente válido combinar operadores lógicos E e OU em uma mesma expressão, desde que a precedência seja respeitada (ou parênteses sejam usados para definir a ordem). A expressão (x = 4 E y = 3) OU (x = 5) é sintaticamente correta e semanticamente válida. A alternativa inventa uma restrição que não existe.

Gabarito: letra D