Lógica 1/4
UNIVERSIDADE DO VALE DO RIO DOS SINOS
Unidade Acadêmica de Graduação
Lógica
_____________________________________________________________________________________________________________________
Apêndice do livro - Material de Apoio
Tabelas Verdade dos Operadores Lógicos
Tabelas-verdade das operações lógicas binárias
A
B
A B
A B
A B
A B
V
V
V
V
V
V
V
F
V
F
F
F
F
V
V
F
V
F
F
F
F
F
V
V
Tabela-verdade da operação lógica unária de negação:
A
A
V
F
F
V
Propriedades das Operações
Equivalências da Disjunção (
) e da Conjunção (
)
Propriedade
Disjunção ()
Conjunção ()
Comutativa
A B B A
A B B A
Associativa
(AB) C A (BC)
(AB) C A (BC)
Distributiva
A (BC) (AB) (AC)
A (BC) (AB) (AC)
Elemento Neutro
A F A
A V A
Complemento
A A V
A A F
Idempotência
A A A
A A A
DeMorgan:
(AB) A B
(AB) A B
Equivalências dos Demais Operadores
Dupla Negação
A A
Equivalência da Implicação
AB A B
Contraposição
AB B A
Prova Condicional
A(BC) (A B) C
