Uma tabela verdade exprime (mostra) todos os valores possíveis para as combinação das proposições.
Quantidade de linhas de uma tabela verdade:
Uma tabela verdade tem 2n linhas, onde n é número de proposições simples.
Vamos fazer as tabelas verdade com 2 proposições simples.
E (conjunção):
| P1 | P2 | P1 ∧ P2 |
|---|---|---|
| V | V | V |
| V | F | F |
| F | V | F |
| F | F | F |
OU (disjunção):
| P1 | P2 | P1 ∨ P2 |
|---|---|---|
| V | V | V |
| V | F | V |
| F | V | V |
| F | F | F |
Se, então (condicional):
| P1 | P2 | P1 → P2 |
|---|---|---|
| V | V | V |
| V | F | F |
| F | V | V |
| F | F | V |
Ou Ou (disjunção exclusiva):
| P1 | P2 | P1 ⊻ P2 |
|---|---|---|
| V | V | F |
| V | F | V |
| F | V | V |
| F | F | F |
Se somente, se (bicondicional):
| P1 | P2 | P1 ↔ P2 |
|---|---|---|
| V | V | V |
| V | F | F |
| F | V | F |
| F | F | V |