Reduce the following lambda expressions as much as possible:

\[\begin{gather*} (\x.a') b' \\ (\x.p'x \to \E x.r'b'\, x) a'\\ (\x\x.p'x \to q'x\,c') a'\, b'\\ (\x\E y.r'x\,y)y \end{gather*}\]