Julgue o próximo item, 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.