我们知道，按照立方体理论，布尔函数可以用一个覆盖表示。设布尔函数
　　　　f (x₁,...,x_i, ...,x_n , h)
可以用覆盖C表示。不难理解，布尔差分本身也是一个布尔函数，所以也能用覆盖表示，设其覆盖为D。因为
　　　　 = f_(c=0)f_(c=1)
　　　　　　　 = f (x₁,...,x_i, ...,x_n,0)f (x₁,...,x_i, ...,x_n,1)
设f_{(h = 0)}与f_{(h = 1)}分别表示为C₀ ,C₁ , 于是有
　　　　D = (C₀－C₁)∪(C₁－C₀)
　　　　　= (C₀∪C₁)－(C₁∩C₀)
　　　　　= (C₀∪C₁) # (C₁∩C₀)
其中 # 为锐积运算符。
　　根据立方体的意义，可以容易地由C得到C₀和C₁。 因而可求得表示布尔差分的覆盖D。
　　求覆盖D的算法
　　{
　　令立方体集合C₀ = C₁ = C_X = φ;
　　for t∈C do
　　　　{
　　　　t₁ = t; t₁(h) = 'X';　　--做临时立方体t₁，并令其中h对应的位为'X'
　　　　if t(h) = '0' then C₀ = C₀∪t₁ ;
　　　　else if t(h) = '1' then C₁ = C₁∪t₁ ;
　　　　else C_X = C_X∪t₁ ;
　　　　}
　　CX = (C₁∩C₀)∪C_X ;
　　D = (C₀∪C₁)#C_X ;
　　}
　　测试集也用立方体集合形式表示：
　　　　T(h_s-a-0) = D∩H
　　　　T(h_s-a-1) = D # H
其中H为信号节点h相对于外部输入的函数。为了得到标准结果形式，需要对T(h_s-a-0)、T(h_s-a-1)去冗余，并展开为质立方形式。