不相交的简化的积之和形式

• disjoint reduced sum-of-products forms