设一逻辑表达式（仅包含 $\And 和| ~2$ 种运算符及 $1,0$ 两种操作数）$a_0 o_1 a_1 o_2a_2o_3\cdots o_{n}a_n$（$a$ 为操作数,$o$ 为操作符）.

是否满足以下性质:

• 任意 $1\to n$ 的排列 $data$ 均满足：原式 $=a_0o_{data_{1}}a_{data_1}o_{data_2}a_{data_2}\cdots o_{data_n}a_{data_n}$.

如果上述命题成立,则请问如果我要使得 $a_0$ 的顺序也类似于上面的变换位置，我要认为 $o_0$ 是哪个运算符？

就如加减运算中，第一个运算数前没有运算符，我们在交换次数位置时，认为他前面带加号（因为前面无性质符号也无运算符，为正）。