有了星积运算之后,求质立方体的算法描述也很简练!有兴趣的读者不妨编写一个实现星积运算的子程序,看看它的效果。

  上述算法表明通过反复作星积运算可以求出覆盖C的质立方体集合Z。前面说过,星积运算求质立方体是对Quine-McCluskey法的改进,到底在那些方面有改进呢?
  · Quine-McCluskey法要求原始描述必须是最小项形式,而星积运算无此要求。我们知道,函数表示为最小项形式需要很大存储空间,特别是当变量个数比较多时。
  · 星积运算的效率高于Quine-McCluskey法。虽然我们对迭代星积法求质立方体的效率仍然不满意。

  例:设单输出函数的初始覆盖为:
    
  求它的由全部质立方体组成的覆盖Z。
  迭代星积法求质立方体的速度较慢的原因是:
  (1)若C中有k个立方体,则C * C需作:
      
  (2) 第二步可能会重复执行多次,每次都要作C * C,所以运算量大的矛盾更为突出。