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:

(p ↔ ((~q) ∧ r) )