转化合式公式为只含两种符号

将公式(P∨Q)∧R→¬P化为只含有连接词¬，∧的等价公式。
这怎么把析取符号化掉？真不会

时间有点久搞忘记了，不知道对不对哈……

最后一步不是很确定

答案是

推导过程比较枯燥无味，还是用Mathematica推吧