证明P∨(P∧Q)→P为一个重言式（永真式）就可以证明P∨(P∧Q)=>P成立.
个人这样认为,
化简P∨(P∧Q)→P可最后推出永为T