案例分析题

指出下列公式中的约束变元和自由变元

（∀z）（P（x）∧（∃x）R（x，z）→（∃y）Q（x，y））∨R（x，y）