A new approach to a simple disjunctive decomposition of a Booleanfunction is presented. It is based on using symmetric relations among afunction's variables to recognize intrinsic characteristics of thefunction. The conditions for the existence of a simple disjunctivedecomposition are formulated and a hierarchical simple disjunctivedecomposition is generated in a bottom-up manner without exhaustivesearch. Results on benchmark functions are very encouraging
展开▼