Verify that the compound proposition $[$~$($~p v q$)$v ~$($~pv ~q$)]$ v r is equivalent to the compound proposition p v r$.$ Explain why this two expressions are equivalent even though the second proposition have one less simple expression.