ocultamente pediu a negação

A equivalência lógica desse tipo de proposição pode ser literalmente sua negação, pois a negação torna-se equivalente.

Fiz dessa forma:

¬[p→(q^r)].

REGRA DO NE Y MAR

¬ [ Pv (QvR) ]

e Por fim nega tudo

p^(¬qv¬r).

NEGAÇÃO DO SE ENTÃO

MANÉ

¬[p->(q^r)]

P^ (¬QV¬R)

P: "A autenticação foi validada"

|

Q: "O dispositivo está cadastrado"

|

R: "O acesso é liberado"

|

~[P -> (Q ^ R)]

===============

*equivalência da condicional: ~P v Q

|

V

A autenticação NÃO foi validada OU o dispositivo está cadastrado E o acesso é liberado.

|

V

*que consiste: ~P v (Q ^ R)

|

V

*mas havia o sinal de negação fora dos colchetes; e negação de disjunção e conjunção: nega os 2 lados e substitui o conectivo disjunção pela conjunção, e vice-versa

|

V

~[~P v (Q ^ R)]

|

V

P ^ ~(Q ^ R)

|

V

P ^ ~Q v ~R