Prove the following equivalence:

$(p^{{?}^{?}}r)(q^{{?}^{?}}(rp))-=$notpvv$(rq)$

Q$1\mathrm{.}1$ Truth tables

$5$ Points

Use a truth table to complete your proof.

For full credit, please provide a separate column for each operator in the expression.

$$ Please select file$($s$)$

Q$1\mathrm{.}2$ Boolean Algebra

$5$ Points

Use Boolean algebra to complete your proof.

For full credit, please provide the names of the algebraic laws used at every step.

You may only use one algebraic law per step, but you may use the same law in multiple places within the same

step.

You may take the Associative Law and Commutative Law for granted if used correctly $($you do not need to list

separate lines for steps which apply either of these two laws$).$