◇(p∨q)与_____可以互推。