Pular para o conteúdo

Cebraspe · Banco do Estado do Rio Grande do Sul S.A. (BANRISUL) 2025

Questão 17 — Raciocínio Lógico: Equivalências Lógicas

Raciocínio Lógico Equivalências Lógicas

Cebraspe 2025

Banco do Estado do Rio Grande do Sul S.A. (BANRISUL) · Técnico em Tecnologia da Informação II

Gabarito disponível

Assinale a opção em que é corretamente apresentada a proposição lógica equivalente à (P ∧ Q) ∨ (R ∧ S).
Selecione uma alternativa

Resolução comentada

Equivalência por distributividade de (P∧Q)∨(R∧S).

Pela distributiva, (P∧Q)∨(R∧S) ≡ (P∨R)∧(P∨S)∧(Q∨R)∧(Q∨S). Na opção D, (P∨R)∧(Q∨R) já está presente, e (P∧Q)∨S ≡ (P∨S)∧(Q∨S) fornece os demais termos. A expressão é, portanto, equivalente.

Análise das alternativas

A, B, C e E não correspondem à forma normal conjuntiva obtida. B, por exemplo, exige P e S verdadeiros ao mesmo tempo, enquanto C e E são disjunções que ficam verdadeiras com apenas uma proposição verdadeira.

Referência: Lógica proposicional: leis distributivas.

Resolução comentada do VaiConcursos.

Ver gabarito

Gabarito: D

Fonte: Gabarito preliminar: Gabarito oficial definitivo — Conhecimentos Básicos