A New Differencing Operation for Multiple Output Functions
Original Publication Date: 1978-Aug-01
Included in the Prior Art Database: 2005-Feb-21
In the minimization of multiple-output 2-level logic, also programmed logic arrays, a differencing operation among cubes, called the #-product (pronounced "sharp product"), is used to considerable advantage [1, 4]. Given two cubes or two covers of cubes, the #-product finds a cover of the vertices of the first which is not in the second. It is used in the formation of the prime cubes (implicants, for the case of one output). It is also used in the LESS-THAN operation in the extraction algorithm. In the old #-product, the cubes produced were in general not disjoint, and this was most inconvenient in attempting to count the vertices of the resulting cover. This counting operation was used in the extraction algorithm, but it has also been used to advantage in statistical operations . The new "sharp product.