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

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

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

（P→（Q∨┐R))∧┐P∧Q
=(┐P∨(Q∨┐R))∧┐P∧Q
=(┐P∨Q∨┐R)∧┐P∧Q
=(┐P∧(┐P∧Q )∨(Q∧(┐P∧Q ))∨(┐R∧(┐P∧Q))
=(┐P∧Q)∨(┐P∧Q )∨(┐R∧┐P∧Q)
=(┐P∧Q)∨(┐R∧┐P∧Q)
=(┐P∧Q)