Is the propositional form $($Pv ~ P$)($Rv ~ R$)$ equivalent to the propositional form $($P$^$ ~ P$)($Ra ~ R$)?$ Explain your answer in detail. Do each of the propositional forms have a special name?