变换α

α-1 $\left\{\varphi ,X_{n-1},X_n\right\}\cup A_1$

α-2 $\left\{\varphi ,X_{n-1},X_n\right\}\cup A_2$

α-3 $\left\{\varphi ,X_{n-1},X_n\right\}\cup A_1\cup A_2$

α-4 $\left\{\varphi ,X_{n-1},X_n,\left\{x_n\right\}\right\}\cup A_2$

α-5 $\left\{\varphi ,X_{n-1},X_n,\left\{x_n\right\}\right\}\cup A_1\cup A_2$

变换β

β-1 $\left\{\varphi ,X_n\right\}\cup A_1$

β-2 $\left\{\varphi ,X_n\right\}\cup A_2$

β-3 $\left\{\varphi ,X_n,\left\{x_n\right\}\right\}\cup A_2$

β-4 $\left\{\varphi ,X_n\right\}\cup A_1\cup A_2$

β-5 $\left\{\varphi ,X_n,\left\{x_n\right\}\right\}\cup A_1\cup A_2$