布尔方程(Boolean equation)是一类特殊方程,指布尔代数B上含有未知元的等式f(X)=g(X),其中f(X)与g(X)均为B上之布尔函数。当X=(x₁,x₂,…,xₑ)时,称此方程为e元布尔方程,而称x₁,x₂,…,xₑ为未知元。若有a₁,a₂,…,aₑ∈B使之f(a₁,a₂,…,aₑ)=g(a₁,a₂,…,aₑ),则称(a1,a2,…,aₑ)为e元布尔方程的一个解。对于具有形状h(X)=0或h(X)=1的布尔方程,称为0-1布尔方程,可以证明:形如f(X)=g(X)的布尔方程均可化为等价的0-1布尔方程。解0-1布尔方程的一个可行方法是逐次消元法,对于布尔函数中仅含0与1为其常...