以（p→（q∧～r））和（～q∨r）为前提进行演绎推理，能必然推出结论（）。