///
Considere-se que as primeiras três colunas da tabela-verdade da proposição lógica (Q ˅ R) ˄ P sejam iguais a:
| 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 |
Nessa situação, a última coluna dessa tabela-verdade apresenta valores V ou F, tomados de cima para baixo, na seguinte sequência: V V V F V V F F.