Raciocínio Lógico

Julgue os próximos itens, considerando os conectivos lógicos usuais ¬, ∧, ∨, , ↔ e que P, Q e R representam proposições lógicas

simples.

A proposição [P(Q∧R)]↔{[(¬P)∨Q]∧[(¬P)∨R]} é uma

tautologia.