Algoritmos e estrutura de dadosLógicas de programação

• (IF-CE 2017)

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ãofigura


A) (¬p) ∧ (¬q) ∧ (¬r).

B) (¬p) ∧ (¬q) ∧ r

C) p ∧ q ∧ (¬r).

D) (¬p) ∧ q ∧ r.

E) p ∧ q ∧ r.


Próximo:
EXERCÍCIOS - Exercício 12

Vamos para o Anterior: Exercício 10

Tente Este: Exercício 59

Primeiro: Exercício 1

VOLTAR ao índice: Algoritmos e estrutura de dados