By using logical equivalences, prove that $$q $($p $->$ q$)$ is a tautology. $($You must write the names of the rules that you apply.$)$