布尔方程(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为其常...