Thank you for reporting, we will resolve it shortly
Q.
$p \rightarrow q$ is logically equivalent to
Mathematical Reasoning
Solution:
We have
$p \rightarrow q \cong \sim p \vee q$
and $\sim q \rightarrow \sim p \cong \sim(\sim q) \vee p \cong q \vee \sim p \cong \sim p \vee q \cong p \rightarrow q$