Question

Exercícios de aplicação: Construir a tabela verdade relativa à forma sentencial (Simplificada ou não). 1) (P V Q ) (¬P ^ ¬Q) 2) [A → (B^C)] v ¬(A ↔ ¬C) 3) [(¬A^B) → (C v D)] → (¬D) ↔a 4) [(A ^ C) v (B^¬A) v (A→¬C)] 5) [A v B) ^ (¬C→A)] ¬[(¬A↔B) v (C^A)] 6) [A v B) → (¬C^A)] ¬[(¬A↔B) v (C↔B)]

Answer 1

Resposta:

Explicação: