Study of parametric representation of cubes of a Boolean function and its use in this reduction

The authors study some of the properties of the parametric representation of a cube of a Boolean function reported by D. Lee et al. (1987, 1988). This representation describes a cube in terms of its origin, which represents the smallest of the integers representing the minterms in the cube and the logarithmic distance between the origin and the minterms in the cube that are adjacent to it. These distances are called parameters of the cube. Using this parametric representation, two algorithms are developed to obtain fast reduction of a specified Boolean function with a large number of variables. A comparison of these algorithms is made with the existing algorithms for minimization from different points of view