Considerando os conectivos lógicos usuais e que as letras maiúsculas representem proposições lógicas simples, julgue o item seguinte acerca da lógica proposicional.

A proposição [(P∨Q)∧(R∨S)] ↔ [Q∧(R∨S)]∨[(P∧R)∨(P∧S)] é uma tautologia.