///
Considere-se que as primeiras três colunas da tabela-verdade referente à proposição lógica (P ∨ (∿Q))⇔(∿R) sejam as representadas a seguir, em que V corresponda ao valor lógico verdadeiro e que F corresponda ao valor lógico falso.
| P | R | Q | (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 |
Nesse caso, para se completar corretamente essa tabela-verdade, deve-se preencher a coluna não preenchida com os valores V ou F, de cima para baixo, na seguinte sequência: F V F V F V V V.