求证 p∨(q→p) ≡q→p

问题描述:

求证 p∨(q→p) ≡q→p