◇（p∨q）与_____可以互推。