1.
The statement (pq)(pr)(p \wedge q) \Rightarrow (p \wedge r) is equivalent to: