M.A.P.

Material de Avaliação Prática

de Aprendizagem

Acadêmico: DOURINEI SANTOS DA PAIXÃO R.A.: 17560175)

Disciplina: Lógica para Computação

a) Indique se a expressão (~p) ∧ (( ~q) ∨ r) ⇔ ~( p ∨ q) ∨ ((~p) ∧ r) é uma tautologia.

P Q R ~P ~Q ~QvR ~P^((~Q)VR) PvQ ~(pvQ) ~P^R ~(pvQ) v (~P^R) <=>

V V V F F V F V F F F V
V V F F F F F V F F F V
V F V F V V F V F F F V
V F F F V V F V F F F V
F V V V F V V V F V V V
F V F V F F F V F F F V
F F V V V V V F V V V V
F F F V V V V F V F V V

RESPOSTA :
Correto ,é Tautologia .
 M.A.P.A

Material de Avaliação Prática

de Aprendizagem

b) Indique se a expressão p ∧ (q ∨ r) ⇔ (p ∧ q) ∨ (q ∧ r) é uma equivalência lógica.

P Q R P ∧ (Q ∨ R) ↔ (P ∧ Q) ∨ (Q ∧ R)

V V V V V V V V V V V V V V V V
V V F V V V F V V V V V V V F F
V F V V V F V V F V F F F F F V
V F F V F F F F V V F F F F F F
F V V F F V V V V F F V V V V V
F V F F F V V F V F F V F V F F
F F V F F F V V V F F F F F F V
F F F F F F F F V F F F F F F F

P ∧ (Q ∨ R) ⇔ (P ∧ Q) ∨ (Q ∧ R)

V ^ V <--> V v V

V <--> V

Resposta: EQUIVALÊNCIA LÓGICA