(P→(Q∨┐R))∧┐P∧Q找出仅用∨和┐的等价表达式 并且尽可能简单