Buktikan bahwa pernyataan ((pvq)=>r)<=>((p=>r)^(q<=>r)

Buktikan bahwa pernyataan ((pvq)=>r)<=>((p=>r)^(q<=>r) adalah pernyataan yang sah.