Questão de Algoritmos e Estrutura de Dados — Lógicas de Programação — FGV 2018
Algoritmos e Estrutura de Dados›Lógicas de Programação
Código
fg032280
Banca
FGV
Órgão
Câmara de Salvador - BA
Ano
2018
Nível
Superior
Cargo
Analista de Tecnologia da Informação
Expressões lógicas são frequentemente utilizadas em linguagens de programação. Por exemplo, um comando if com a expressãoif not (A and B)pode ser reescrito, para quaisquer valores lógicos de A e B, com a expressão:
AA or B
Bnot A or not B
Cnot A or B
Dnot (not A or not B)
EA and B
Revelar gabarito e comentário▾
GabaritoB — not A or not B
Comentário gerado por IA. É um apoio ao estudo, ancorado em fontes, mas pode conter imprecisões — confira sempre na fonte oficial (lei, súmula, edital e gabarito da banca). Encontrou um erro? Use “Reportar”.
Expressões Lógicas e Equivalência (Leis de De Morgan)
Gabarito: letra B. A expressão not (A and B) é equivalente a (not A) or (not B) pela 1ª Lei de De Morgan. A alternativa B reproduz exatamente essa forma.
A banca testa o conhecimento das leis de De Morgan, fundamentais para simplificar expressões lógicas em programação.
A verdadeiro
A falso
B falso
¬(A∧B) = ¬A∨¬B
¬(A∧B) = ¬A∨¬B
B verdadeiro
¬(A∧B) = ¬A∨¬B
¬(A∧B) = ¬A∨¬B
LEVEL · soulevel.com.br
Alternativa A — ❌ Incorreta
A or B não equivale a not (A and B). A tabela verdade mostra que quando A e B são verdadeiros, A or B é verdadeiro, mas not (A and B) é falso.
Alternativa B — ✅ Correta
not A or not B é a transformação direta pela Lei de De Morgan: not (A and B) = not A or not B. A equivalência vale para todos os valores lógicos.
Alternativa C — ❌ Incorreta
not A or B equivale a A → B (implicação), não à negação da conjunção. Em lógica, not A or B é diferente de not (A and B).
Alternativa D — ❌ Incorreta
not (not A or not B) aplica a Lei de De Morgan novamente, resultando em A and B (pois not (not A or not B) = A and B). É o oposto do que se deseja.
Alternativa E — ❌ Incorreta
A and B é a conjunção, cuja negação é justamente a expressão original not (A and B). Portanto, não é equivalente.
Para fixar, a tabela verdade comprova a equivalência:
A
B
A and B
not (A and B)
not A or not B
V
V
V
F
F
V
F
F
V
V
F
V
F
V
V
F
F
F
V
V
As colunas not (A and B) e not A or not B são idênticas.