Simplificar a expressão acima usando Equivalência Tautológica

[marcela.dutra.61]

~((P<Q)∨ímpar(num))
∨(~(P<Q)∧ímpar(num))→
Proposição1
~→
Proposição2

Gente como simplificar esse expressão acima, usando as equivalências tautológicas?

[Fraol]

Boa noite,

Poderia confirmar o enunciado ou postar uma figura equivalente?