Questão 2473274

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 os itens 39 e 40.

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