P Q ~P P ^ Q P v Q P v Q PQ PQV V F V V F V VV F F F V V F FF V V F V V V FF F V F F F V V

TABELA VERDADE

A B A ᴧ BV V VV F FF V FF F F

A B A ˅ BV V V

V F VF V V

F F F

A B A B

V V V

V F FF V V

F F V

A B A B

V V VV F FF V FF F 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