Observe a sequência de resolução das operações:
1º) Negação:
| 1º Negação | 2º Conjunção | 3º Bicondicional | ||||
| p | q | r | ~q | ~q ∧ r | p ↔ (~q ∧ r) | |
| 1. | V | V | V | F | ||
| 2. | V | V | F | F | ||
| 3. | V | F | V | V | ||
| 4. | V | F | F | V | ||
| 5. | F | V | V | F | ||
| 6. | F | V | F | F | ||
| 7. | F | F | V | V | ||
| 8. | F | F | F | V |
Aplicando a negação na coluna q, obtém-se na coluna ~q a inversão dos valores de q, linha a linha.