Question $2(10)$

Convert the formula $($p $->$q$)($p $->$ q$)$ to clausal form. Show all the steps.

Question $3(10)$

Use resolution to show that the set of clauses $\{\{$p$,$ q$,$ r$\},\{$p$,$q$\},\{$p$,$ q$,$r$\},\{$p$,$q$,$ r$\}\}$ is satisfiable.

Show all the steps, including the numbers of clauses to which the resolution rule is applied.