大一离散数学。求大神帮忙解答要用上面例题的公式解答。

前提：┐(P∧┐Q)，┐Q∨R，┐R 结论：┐P 证明： ① ┐R 前提引入 ② ┐Q∨R 前提引入 ③ ┐Q ①②析取三段式 ④ ┐(P∧┐Q) 前提引入 ⑤ ┐P∨Q ④等价置换 ⑥ ┐P ③⑤析取三段式 得证。