布尔函数与布尔多项式

Boole Function and Boole Polynomial

布尔代数B上的n元布尔多项式f（x1，…，xn）可以表为f（x1,…,xn）=∑f（a1,…，an）x1^a1…xn^an的形式．设Fn与F^-m分别是布尔代数B上全体n元布尔函数与全体n元布尔多项式的集合，则Fa=F^-a当且仅当B是逻辑代数．

The n-ary Boole polynomial f（x1,…,xn）can be denoted by the form off（x1,…,xn）=∑f（a1,…,an）x1^a1…xn^anLet Fn and F^-m is respectively the set of all n-ary Boole functions and all n-ary Boole polynomials on Boole algebra B, then Fn =F^-n iff ｜B｜ =2.