前提:┐(p∧(┐q)) ,┐q∨r ,┐r
┐q∨r ,┐r=>┐q ----1
┐(p∧(┐q))=>┐p∧q -----2
由1,2得┐q &┐p∧q => ┐p
结论为┐p