「ｐ⇒ｑ」は「¬（ｐ∧¬ｑ）」、つまり「¬ｐ∨ｑ」として記述できる

ってのはどういうことですか？

「¬（ｐ∧¬ｑ）」と「¬ｐ∨ｑ」が同じことだというのはわかります。

「ｐ⇒ｑ」ってのは「ｐならばｑである」ですよね？
「¬ｐ∨ｑ」ってのは「ｐでない、かつｑ」ですよね？
どうして両者が同じものなのですか？