Imagem de fundo

Considerando a tabela CG1A3-I e as informações a ela...

Tabela CG1A3-I


conjunção ˄

condicional ⇒

disjunção ˅

Bicondicional ⇔

negação ~


Considere que as proposições lógicas simples sejam representadas por letras maiúsculas e os símbolos lógicos usuais sejam representados de acordo com a tabela precedente.

Considerando a tabela CG1A3-I e as informações a ela relacionadas, é correto afirmar que a proposição lógica ~(((Q˅R)˄T) ⇒ (P˄S)) é equivalente à proposição lógica


A

~((Q˅R)˄T)˅~(P˄S)).


B

((Q˄T)˅(R˄T))˄(~P˅~S).


C

~((Q˅R)˄T) ⇒ ~(P˄S)).


D

~(P˄S) ⇒ ~((Q˅R)˄T).


E

~(P˄S) ⇒ ~((Q˅T)˄(R˅T)).