Questão 754501

• Banca: Marinha
• Órgão: Quadro Complementar
• Ano: 2011
• Provas: Marinha - 2011 - Quadro Complementar - Segundo-Tenente - Engenharia de Computação
• Disciplina: Algoritmos e Estrutura de Dados
• Assuntos: Algoritmos; Lógicas de Programação

Sejam G, H, P, Q e R símbolos proposicionais. Qual é o comprimento da fórmula da lógica proposicional: ((PvQ)AR) ↔(G∧H)?

• A. 14
• B. 9
• C. 8
• D. 7
• E. 5

Gabarito: B

Comentários

• O gabarito é a letra B.

   

  COMP[((PVQ)AR)<=>(G^H)]=

  COMP[((PVQ)AR)] + COMP[(G^H)] + 1=

  COMP[(PVQ)] + COMP[AR] + COMP[G] + COMP[H] + 1 + 1=

  COMP[P] + COMP[H] + 1 + COMP[A] + COMP[R]  + 1 + 1 + 2=

  1 + 1 + 1 + 1 + 5= 9