TABELA VERDADE

~ = não ^ = E v = ou v = ou, ou → = se então ↔ = se e somente se

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 PQ PQ

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

1ª equivalência: se não B então não A

2ª equivalência: 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