A tabela mostra as operações lógicas de conjunção, disjunção, negação, implicação e equivalência. A linha mostra os valores de verdade para cada operação lógica dependendo dos valores de verdade das proposições envolvidas.

1. TABELA VERDADE
A B A ᴧ B
V V V
V F F
F V F
F F F
A B A ˅ B
V V V
V F V
F V V
F F F
A B A B
V V V
V F F
F V V
F F V
A B A B
V V V
V F F
F V F
F F V
P Q ~P P ^ Q P v Q P v Q PQ PQ
V V F V V F V V
V F F F V V F F
F V V F V V V F
F F V F F F V V
Equivalência: B e A
Negação: não A ou Não B
Equivalência: se não A então B
Negação: não A e não B
Equivalência um: se não B então não A
Equivalência dois: não A ou B
Negação: A e não B
Equivalência: se A então B e se B então A
Negação: A e não B ou B e não A