Qual das alternativas abaixo é tautológica: A)p v q ⇔ p v ~q B)p v q ⇔ (p → q) ∧ (q → p) C)p v q ⇔ (p v q) ∧ ~(p ∧ q) D)p v q ⇔ p v (p ∧ q) E)p v q ⇔p

c

C) p v q ⇔ (p v q) ∧ ~(p ∧ q)

Darcy, use o gerador de tabela verdade, é só trocar os símbolos como no site e coloque os parenteses pra identificar a ordem de precedência

http://micalevisk.github.io/TruthTableGenerator-plus/