吸收律的证明 P∨(P∧R)等价于P