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

来源:学生作业帮助网 编辑:六六作业网 时间:2024/12/20 09:33:08
求证p∨(q→p)≡q→p求证p∨(q→p)≡q→p求证p∨(q→p)≡q→pq→p的等值式是┐q∨p,所以p∨(q→p)≡p∨(┐q∨p)≡┐q∨p≡q→p

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

求证 p∨(q→p) ≡q→p
q→p的等值式是┐q∨p,所以
p∨(q→p) ≡ p∨(┐q∨p) ≡ ┐q∨p ≡ q→p