q→p的等值式是┐q∨p,所以
p∨(q→p) ≡ p∨(┐q∨p) ≡ ┐q∨p ≡ q→p请问一下 为什么p∨(┐q∨p) ≡ ┐q∨p中的p∨ 可以直接去掉呢~~~谢谢p∨(┐q∨p) ≡p∨p∨┐q ≡ ┐q∨p ≡ q→p 交换律p∨p ≡ p，这个是等幂律