OPERAÇÕES LÓGICAS

Negação Conjunção
p ~p p q p^q
V F V V V
F V V F F
F V F
F F F
e = ^ ou .

Disjunção Condicional
p q pvq p q p→q
V V V V V V
V F V V F F
F V V F V V
F F F F F V
ou = v Se... Então = →

Bicondicional
p q p↔q
V V V
V F F
F V F
F F V
Se e somente se = ↔