P$1$:$$x$[$P$($x$)$Q$($x$)]$

P$2$: $$x $[$ S$($x$)$ R$($x$)]$

P$3$:$-$x$[$Q$($x$)$R$($x$)]\_\_\_$

C: $$x$[$S$($x$)$P$($x$)]$