You can
put this solution on YOUR website!
(pvq)^[p^q]
(pvq)^[q^p] commutative
[(pvq)^q]^p associative
[(pvq)v(q^q)]^p distributive
[(pvq)vq]^p idempotent
[(p^q)^p]v(q^p) distributive
[(q^p)^p]v(q^p) commutative
[q^(p^p)]v(q^p) associative
[q^p]v(q^p) idempotent
q^p idempotent
Edwin