有n个布林变数x1，x2，…，xn的布林函数F（x1，…xn）对某布林变数xi（1≦i≦n）的布林差分可定义如下：
dF╱dxi＝F（x1，…xi－1，xi，xi＋1，…，xn）?F（x1，…xi－1，xi，xi＋1，…，xn）
或
dF╱dxi＝F（x1，…xi－1，1，xi＋1，…，xn）?F（x1，…xi－1，0，xi＋1，…，xn）
其中?代表互斥或算子。dF╱dxi是除xi以外的（n－1）个布林变数的函数。