（Q→P）∧（┓P∧Q）
<=>(┓Q∨P)∧（┓P∧Q）
<=>((┓Q∨P)∧┓P)∧((┓Q∨P)∧Q)
<=>((┓Q∧┓P)∨(P∧┓P))∧((┓Q∧Q)∨（P∧Q)）
<=>((┓Q∧┓P)∨F)∧(F∨（P∧Q)）
<=>(┓Q∧┓P)∧（P∧Q)