///
Se P, Q e R representam proposições lógicas e as primeiras três colunas da tabela-verdade são as apresentadas a seguir, então a última coluna da tabela-verdade relacionada à expressão (P ˄ R) ˅ (Q ˄ R) apresenta valores V ou F, tomados de cima para baixo, na sequência V, F, V, V, F, F, F e F.
| P | Q | R |
|---|---|---|
| V | V | V |
| V | V | F |
| V | F | V |
| V | F | F |
| F | V | V |
| F | V | F |
| F | F | V |
| F | F | F |