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

A proposição P→(¬Q) ↔ (¬P) v (¬Q) é uma tautologia.