!$ t : (\sim p ∧ (p → q)) → (\sim r V (p ↔ r)). !$

s: Apenas as mulheres podem projetar as turbinas dos aviões.

Sabendo que p, q e r são proposições simples e considerando as proposições acima, julgue o item a seguir.

!$ (r ∧ (p ↔ \sim r)) → (p ∨ (p ∧ \sim q)) !$ é uma equivalência da proposição t.