从布尔函数的真值表求其代数正规型（ANF）

布尔函数简介

在密码学中，布尔函数是加密算法的核心部件之一。

布尔函数指从 ${\mathbb{F}}_2^n$ 到 ${\mathbb{F}}_2$ 的映射。

简单举例如下：

一个三元($n=3$)布尔函数 $F$ 是指从 ${\mathbb{F}}_2^3$ 到 ${\mathbb{F}}_2$ 的映射。
其中，
F 2 3 = { 000 , 001 , 010 , 011 , 100 , 101 , 110 , 111 } F 2 = { 0 , 1 } \mathbb{F}_2^3=\{000,001,010,011,100,101,110,111\} \\ \mathbb{F}_2=\{0,1\} F23​={000,001,010,011,100,101,110,111}F2​={0,1}
我们可以认为 $x$ 是 ${\mathbb{F}}_2^3$ 中的某个元素，而此时 $F(x)$ 的值就是 $0$ 或者 $1$。

布尔函数表示方法

真值表表示

若 $F$ 符合
$$\begin{gathered} F(000)=1,F(001)=0 \\ F(010)=1,F(011)=0 \\ F(100)=0,F(101)=0 \\ F(110)=1,F(111)=0 \end{gathered}$$
则 $f(x)$ 的真值表可以为 { 1 , 0 , 1 , 0 , 0 , 0 , 1 , 0 } \{1,0,1,0,0,0,1,0\} {1,0,1,0,0,0,1,0}

小项表示

布尔函数的小项表示由它的真值表唯一确定。
布尔函数是它取值为1的那些真值指派对应的小项函数之和。

三元布尔函数 $F$ 如上所述，则小项表示为：
$$F(x)=x_1^0{x}_2^0{x}_3^0+x_1^0{x}_2^1{x}_3^0+x_1^1{x}_2^1{x}_3^0$$
其中 $x_1,x_2,x_3$ 分别是 $x$ 的三个分量，所以函数 $F(x)$ 也可以写成 $F(x_1,x_2,x_3)$
由真值表求小项表示可以仅留下真值为 $1$ 的部分，标注上标即可（仅为求法，有具体含义）。

ANF(代数范式、代数正规型)

上述布尔函数 $F$ 的多项式表示为：
$$F(x)=1+x_1+x_3+x_1{x}_2+x_1{x}_3+x_1{x}_2{x}_3$$
这也称为它的ANF。
由真值表求ANF可通过先求小项表示再展开($x_i^0=x_i+1,x_i^1=x_i$)的途径：
这样，小项表示即可展开为多项式表示：
$$\begin{gathered} F(x)=(x_1+1)(x_2+1)(x_3+1)+(x_1+1)x_2(x_3+1)+x_1{x}_2(x_3+1) \\ \to F(x)=1+x_1+x_3+x_1{x}_2+x_1{x}_3+x_1{x}_2{x}_3 \end{gathered}$$

---

布尔函数中的运算：1+1=0+0=0，0+1=1+0=1，0*0=0*1=1*0=0，1*1=1

---

包括递归方式求ANF及其他相关代码：https://gitee.com/ssdreamc/about_boolean_functions