题意：给你$pairOr,pairSum$两个含有$n$个非负整数数组，问你是否能构造出一个数组$x[0] \cdots x[n]$满足$\forall \ {0\leqslant i \leqslant n-1}, x[i] \or\ x[i+1] = pairOr[i] \ \wedge x[i] + x[i+1] = pairSum[i]$。
1.证明$a+b=a \ or \ b + a \ and \ b$
证：记$p_i,q_i$分别为$a,b$的第$k$位（二进制）。则
$$a+b=\sum_k(p_k+q_k)2^k$$
$$a \ or \ b=\sum_k(p_k\vee q_k)2^k$$
$$a \ and \ b=\sum_k(p_k \wedge q_k)2^k$$
$$a+b-a \ or \ b - a \ and \ b = \sum_k(p_k+q_k-p_k \wedge q_k - p_k \vee q_k)2^k=0$$