De forma similar à matemática convencional, a resolução é feita do parêntese mais interno ao mais externo, gerando a seguinte ordem das colunas da tabela verdade de p ↔ ~q ∧ r:
| 1º Negação | 2º Conjunção | 3º Bicondicional | ||||
| p | q | r | ~q | ~q ∧ r | p ↔ (~q ∧ r) | |
| 1. | V | V | V | |||
| 2. | V | V | F | |||
| 3. | V | F | V | |||
| 4. | V | F | F | |||
| 5. | F | V | V | |||
| 6. | F | V | F | |||
| 7. | F | F | V | |||
| 8. | F | F | F |