Exercicios de Logica Proposicional
Requisitos de finalización
Apertura: lunes, 26 de agosto de 2013, 09:30
Cierre: lunes, 2 de septiembre de 2013, 09:30
Para cada uma das expressões abaixo, indicar que a expressão é válida (sempre verdadeira), unsat (sempre falsa), ou apresente duas atribuições de valores as variáveis, uma atribuição que a torne verdadeira e uma atribuição que a torne falsa.
- (p ⇒ q) ∨ (q ⇒ p)
- p ∧ (p ⇒ ¬q) ∧ q
- (p ⇒ (q ∧ r)) ⇔ (p ⇒ q) ∧ (p ⇒ r)
- (p ⇒ (q ⇒ r)) ⇒ ((p ∧ q) ⇒ r)
- (p ⇒ q) ∧ (p ⇒ ¬q)
- (¬p ∨ ¬q) ⇒ ¬(p ∧ q)
- ((¬p ⇒ q) ⇒ (¬q ⇒ p)) ∧ (p ∨ q)
- ((¬p ∨ q) ⇒ (q ∧ (p ⇔ q))
- ((¬r ⇒ ¬p ∧ ¬q) ∨ s) ⇔ (p ∨ q ⇒ r ∨ s)
- (p ∧ (q ⇒ r)) ⇔ ((¬p ∨ q) ⇒ (p ∧ r))