Regras de Tabela da Verdade

Para sentenas com conjuno: (a ^ b) - ser verdade se os dois forem

verdadeiros, caso contrrio sero todos falsos.

A B AB
V V V
V F F
F V F
F F F


Para sentenas com conjuno: (a v b) - ser falso se os dois forem falsos, caso
contrrio sero todos verdadeiros.

A B AB
V V V
V F V
F V V
F F F

Para sentenas com implicao: (a -> b) - ser falso se o primeiro for verdadeiro e
o segundo for falso, caso contrrio todos sero verdadeiros.

A B A B
V V V
V F F
F V V
F F V


Para sentenas com bi implicao: (a <-> b) - ser verdadeiro se os dois forem ou
verdadeiro ou falso caso contrrio todos sero falsos.

A B AB
V V V
V F F
F V F
F F V