Questão 2476579

• Banca: COPEVE-UFAL
• Órgão: MPE-AL
• Ano: 2012
• Provas: COPEVE-UFAL - 2012 - MPE-AL - Analista do Ministério Público - Desenvolvimento de Sistemas
• Disciplina: Não definido

A fórmula da lógica sentencial A↔B é equivalente à fórmula

• A. ¬(¬A↔¬B).
• B. (A→B)∧(¬B→¬A).
• C. (A∧B)∨(A∨B).
• D. (A∧B)∨(¬A∨¬B).
• E. (A∧¬B)∨(¬A∨B).

Gabarito: A