Paragraph
Are the statements
\(P \imp (Q\vee R)\)
and
\((P \imp Q) \vee (P \imp R)\)
logically equivalent?
in-context