Veja novamente a ordem de precedência:

1. ~ 2. ∧, ∨ 3. → 4. ↔

Perceba que a disjunção exclusiva não consta na lista. O motivo é que a operação p∨q é na verdade uma notação simplificada da proposição (~p∧q)∨(p∧~q).

Sendo assim, quando aparece uma ∨, se não houver parênteses definindo a ordem de resolução, basta substituir a proposição p∨q por (~p∧q)∨(p∧~q) e efetivar a resolução na ordem correta, obedecendo a hierarquia da ordem de precedência entre as operações ~, ∧, ∨.