The statement p ⇒ (q ∧ p) is negation of the statement

∵ \left(s ⇒ t\right) ≡ s ∧ \left( t\right)$<br />$∵ \left(p ⇒ \left(q ∧ p\right)\right) ≡ p ∧ \left( \left(q ∧ p\right)\right)$<br />$≡ p ∧ \left( q ∨ p\right)$<br />$≡ \left(p ∧ q\right) ∨ \left(p ∧ p\right)$<br />$≡ \left(p ∧ p\right) ∨ f$<br />$≡ p ∧ q ≡ \left(p ⇒ q\right)