///
t: (~p ∧ (p → q)) → (~r ∨ (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.
(r ∧ (p ⇿ ~r)) → (p ∨ (p ∧ ~q)) é uma equivalência da
proposição t.