gabarito da tarefa de tabela verdade

Lógica para Computação

•

UNISINOS

0

Leandro Jordão

15/04/2020

Faça como milhares de estudantes: teste grátis o Passei Direto

Esse e outros conteúdos desbloqueados

16 milhões de materiais de várias disciplinas

Impressão de materiais

Agora você pode testar o

Passei Direto grátis

Você também pode ser Premium ajudando estudantes

E aí, curtiu este material?

Ajude a incentivar outros estudantes a melhorar o conteúdo

Gostou desse material? Compartilhe! 🧡

Lógica para Computação

1.531 Materiais compartilhados

Baixe o app para aproveitar ainda mais

Leia os materiais offline, sem usar a internet. Além de vários outros recursos!

Prévia do material em texto

P Q R ¬Q ¬R P^¬R R->¬Q <-> ¬
V V V F F F F V F
V V F F V V V V F
V F V V F F V F V CONTINGÊNCIA
V F F V V V V V F
F V V F F F F V F
F V F F V F V F V
F F V V F F V F V
F F F V V F V F V
P Q R ¬P ¬Q ¬R P->¬Q R<->¬P (P->¬Q)v¬R ¬(R<->¬P) ¬(R<->¬P)^Q v ¬
V V V F F F F F F V V V F
V V F F F V F V V F F V F
V F V F V F V F V V F V F
V F F F V V V V V F F V F
F V V V F F V V V F F V F
F V F V F V V F V V V V F
F F V V V F V V V F F V F
F F F V V V V F V V F V F
CONTRADIÇÃO
A B C ¬A ¬B Cv¬B Av¬B ¬A->(Cv¬B) ->
V V V F F V V V V
V V F F F F V V V
V F V F V V V V V
V F F F V V V V V TAUTOLOGIA
F V V V F V F V V
F V F V F F F F V
F F V V V V V V V
F F F V V V V V V
¬((P^¬R)<-> (R->¬Q))
¬(((P->¬Q)v¬R)v(¬(R<->¬P)^Q))
(Av¬B)->(¬A->(Cv¬B))