非线性布尔方程线性化及其求解方法.pdfVIP

非线性布尔方程的线性化

设有n维布尔函数f(x,x,…,x)。

12n

➢方程f(x,x,…,x)=0称为布尔方程。

12n

➢如果n维布尔函数f(x,x,…,x)是k次函数，则称布尔方程f(x,

12n1

x,…,x)=0为k次布尔方程。

2n

特别：

➢如果f(x,x,…,x)是非线性函数（k1），则称布尔方程f(x,

12n1

x,…,x)=0为非线性布尔方程。

2n

➢如果f(x,x,…,x)是仿射函数（k1），则称布尔方程f(x,

12n1

x,…,x)=0为线性布尔方程。

2n

2022/11/112

对于k次布尔方程f(x,x,…,x)=0，“未知量”有n个：x，

12n1

x，…，x。“项”有如下类型的形状：

2n

“常数项”1；

“1次项”x，x，…，x；

12n

“2次项”xx，xx，…，xx；

1213n-1n

…；

“k次项”xx…x，xx…xx，…，xx…x。

12k12k-1k+1n-k+1n-k+2n

每一个“项”都有一个系数，系数为0或1。

因此“项”的个数为

k

Cj

n

j0

2022/11/113

如果把除了“常数项”以外的其它所有的“项”都看作是

不同的“未知量”，则k次布尔方程f(x,x,…,x)=0就变

12n

成了线性布尔方程。各个“项”的系数就变成了各个

“未知量”的系数。这就是非线性布尔方程的线性化。

此时“未知量”的个数为

k

j

C−1

n