设A＝＜B；︿，B，～；0，1＞，为一布林代数，A上的n元布林方程是指由如下含有n个特定元的
布林函数f（x1,…,xn）及g（x1,…,xn）所组成的等式。
f（x1,…,xn）＝g（x1,…,xn）。
每个布林方程可以化为布林0方程或布林1方程：
h（x1,…,xn）＝0及k（x1,…,xn）＝1。