现在研究有多个输出变量的情况。设a | b和c | d是两个非退化立方体，求
　　　　　　（a | b） # （c | d）。
　　规则1
　　　　若a | b和c | d是分离的，则（a | b）#（c | d）=（a | b）。
　　规则2
　　　　若a c 则（a | b）#（c | d）=（a | e）。
　　　　　若：b^j= β∈{0, 1} 且d^j= u ( j从1到m )
　　　　　则: e^j = b^j
　　　　　否则: e^j= u
　　规则3
　　若上述规则中的条件都不满足，则锐积的结果是由a | b的面所组成的覆盖，它包含着那些被a | b包含而不被c | d包含的所有顶点。（a | b）#（c | d）由下列立方体组成；
　　(1) a | g
　　　　若：b^j= β∈{ 0, 1}且d^j= u (j从1到m)
　　　　则： g^j = b^j
　　　　否则: g^j = u
　　(2) (fⁱ | b) （i从1到n）
　　　　若： a_i = X 且 c_i =β∈{ 0, 1}
　　　　则： fⁱ = a₁a₂…a_i-1c_ia_i+1…a_n
　　　　否则：fⁱ = φ
　　请注意，这条规则和单个输出变量锐积规则中的第3条完全一致。以上规则可能不容易理解，因为这是抽象的算法描述．我们可以这样设想：
　　(1) 首先把多输出函数转化为单输出函数。
　　(2) 对每个单输出函数作锐积运算。
　　(3) 把第(2)步的结果合并成多输出函数的表示形式。
　　假如第(3)步的结果和上述多输出函数锐积运算规则的结果等价，那么这个规则就是正确的。