Using one of the resolution algorithms presented in class, prove the following tautologies.

Explain transformation to a clausal form and which particular algorithm you are tracing. Show every step.

$((($p $->$ r$)($q $->$ r$))($p $$ q$))->$ r$.$

$($p $$ q$)($p $$q$)$