Questão de Raciocínio Lógico

No livro Lógica e Conjuntos, o autor Francisco Cunha defende o uso de parênteses na simbolização das proposições para evitar ambiguidades, mas concorda que a notação pode ser simplificada (supressão de parênteses) desde que não venham a ocorrer ambiguidades. Para essa simplificação é definida uma ordem de precedência das operações lógicas, de maneira a permitir identificar o conectivo principal de uma proposição, de modo a poder nomeá-la. De acordo com a ordem estabelecida no livro, dadas as proposições simples, p, q, r e s, a proposição ∼∼p ∨ q → r ∧ (s ↔ ∼q ∨ ∼p) é uma