两个乘积项相加时，若其中一项以另一项 为因子，则该项是多余的，可以删除。 两个乘积项相加时，若一项取反后是另一 项的因子，则此因子是多余的，可以消去。 若两个乘积项中包含一对互补因子，而 这两个乘积项的其余因子组成第三个乘积项 时，则第三个乘积项是多余的，可以消去。两个乘积项相加时，若其中一项以另一项 为因子，则该项是多余的，可以删除。 两个乘积项相加时，若一项取反后是另一 项的因子，则此因子是多余的，可以消去。 若两个乘积项中包含一对互补因子，而 这两个乘积项的其余因子组成第三个乘积项 时，则第三个乘积项是多余的，可以消去