Baixe o app para aproveitar ainda mais
Prévia do material em texto
Lógica Computacional Instituto Federal do Rio Grande do Norte 1 de abril de 2016 Exercício 3 1. Construir as tabelas-verdade das seguintes proposições: (a) p→ ¬q (b) q ∨ ¬q (c) ¬p ∧ ¬q (d) p↔ ¬q (e) p ∧ ¬q → p (f) ¬(p ∨ ¬q) (g) ¬(p→ ¬q) (h) p ∧ q → q ∧ p (i) ¬p→ (q → p) (j) (p→ q)→ p ∧ q (k) q ↔ ¬p ∧ q (l) (p↔ ¬q)↔ ¬p ∧ q (m) p ∧ ¬r → ¬q (n) ¬p ∧ (q ∨ ¬r) (o) ¬(p ∧ q)↔ ¬(p ∨ ¬r) (p) (r ∧ (p ∨ ¬q)) ∧ ¬(¬r ∨ (p ∧ q)) (q) (p ∨ q → r)→ q ∨ ¬r (r) (p ∨ (q → ¬r)) ∧ (¬p ∨ r ↔ ¬q) Diego Silveira Costa Nascimento 1 diego.nascimento@ifrn.edu.br
Compartilhar