Imagem de fundo

Uma empresa de tecnologia possui uma regra de autenticação expressa como ( P ^ Q ) =&gt...

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 ?


A

P => ( Q => R )


B

R => ( P ^ Q )


C

¬ R => ¬ ( P ^ Q )


D

( P v Q ) => R