Proposições que possuem a mesma tabela-verdade são chamadas de proposições logicamente equivalentes (ou simplesmente equivalentes). Qual das alternativas abaixo é uma equivalência lógica da proposição P→(~P∧ ~Q)?