Question

Construa as tabelas-verdade para verificar qual proposição é, de fato, uma equivalência lógica e assinale a alternativa correta.
Alternativas
Alternativa 1:

q ⇔(¬p v q)
Alternativa 2:

(p → q) ⇔ ¬p
Alternativa 3:

p ⇔ (p v (p ^ q))
Alternativa 4:

(p ↔ q) ⇔ (p ↔ ¬q)
Alternativa 5:

((p → q) → r) ⇔ ((q → p) → r)

Answer 1

Alternativa 1:

q ⇔(¬p v q)

Alternativa 2:

(p → q) ⇔ ¬p

Alternativa 3:  

p ⇔ (p v (p ^ q))  

Alternativa 4:

(p ↔ q) ⇔ (p ↔ ¬q)

Alternativa 5:

((p → q) → r) ⇔ ((q → p) → r)

ALTERNATIVA 3 É A CORRETA.