我们回来,有认真的去看上面列出的公理(Axiom)和单变量定理么?
(对于其证明,有兴趣的人可以看一下,没兴趣的可以跳过。这里我就证明(b)里面的T4:由于A1和其双对可知,我们是在处理二进制问题。所以根据A2我们进行两次A2操作,也就相当于第一次进行了A1操作,第二次进行A1'的操作,结果是原数的本身。所以得证//)
那么让我们继续多变量的(多输入,2个或2个以上)的处理方法。
注意处理多变量,只要想加减多项式的运算法则就好了。(就是小学多项式计算)
T6(和T6’一样):加法(OR)交换律了
T7(和T7’一样):加法(OR)结合律
T8:分配律
///以下是二进制运算特有的/
T8':比较特殊,是OR分配于AND,而一般代数运算没有把加法分配于乘法的,只有乘法分配率。可以这样看:
T9&