What logical equivalence is used for each step.

$(p^{{?}^{?}}q)vv(p^{{?}^{?}}q)-=p^{{?}^{?}}(qvvq)by(a)$

$-=p^{{?}^{?}}(qvvq)by(b)$

$-=p^{{?}^{?}}tby(c)$

$-=pby(d)$

Therefore, $(p^{{?}^{?}}q)vv(p^{{?}^{?}}q)-=p.$

Verify the logical equivalences. Supply a reason for each step.

$9.(p^{{?}^{?}}q)vvp-=p$

$10.((p^{{?}^{?}}q)vv(p^{{?}^{?}}q))vv(p^{{?}^{?}}q)-=p$

$2$