Questão 2331001

• Banca: IF-CE
• Órgão: IF-CE
• Ano: 2017
• Provas: IF-CE - 2017 - IF-CE - Assistente em Administração
• Disciplina: Algoritmos e Estrutura de Dados
• Assuntos: Algoritmos; Lógicas de Programação

Dizemos que a fórmula G é uma forma normal disjuntiva da fórmula F, quando F e G são logicamente equivalentes e,além disso, G é uma disjunção de fórmulas, as quais são conjunções, cujos termos são todas as proposições atômicas,com eventuais negações, que aparecem em F. Nessas condições, sendo p, q e r proposições atômicas, uma forma normaldisjuntiva para a fórmula F = (p → q) ∧(q → r) é G = X₁ ∨ X₂ ∨ X₃ ∨ X₄, onde, dentre as fórmulas X₁, X₂, X₃ e X₄, não figura

• A. (¬p) ∧ (¬q) ∧ (¬r).
• B. (¬p) ∧ (¬q) ∧ r
• C. p ∧ q ∧ (¬r).
• D. (¬p) ∧ q ∧ r.
• E. p ∧ q ∧ r.

Gabarito: C

Comentários

• Força Guerreiro!!!!!!