Imagem de fundo

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

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

¬ R = > ¬ ( P ^ Q )


B

R = > ( P ^ Q )


C

P = > ( Q = > R )


D

( P v Q ) = > R