Questão de Matemática

Uma empresa de tecnologia possui uma regra de autenticação expressa como ( P ^ Q ) => R, onde P é "senha válida", Q é "dispositivo confiável" e R é "usuário autenticado". A equipe deseja simplificar a regra verificando proposições equivalentes. Qual das alternativas abaixo é logicamente equivalente a ( P ^ Q ) => R?