上例中，
　　　　
　　因而，
　　　　
　　显然用布尔差分法要比直接计算简单多了，而且可以求出测试集全集。
　　布尔差分得到的表达式一般比原函数简单。在求关于c的布尔差分时，可将c=0和c=1分别代入原表达式，即可得到简化的表达式，然后再将二者做异或运算。异或运算通常化成与或表达式来求。读者需要复习一下异或运算的知识。
　　布尔差分有下列性质：
　　(1)
　　(2)
　　(3)
　　(4)
　　(5)
　　(6)
　　这些性质读者不难自己验证。