Compact DSOP and partial DSOP Forms

Anna Bernasconi, Valentina Ciriani, Fabrizio Luccio +1

Given a Boolean function f on n variables, a Disjoint Sum-of-Products (DSOP) of f is a set of products (ANDs) of subsets of literals whose sum (OR) equals f, such that no two produ…