Abstract :
Algebraic reduction procedures for multivalued logic functions based upon a principally binary circuit realization are presented. The procedures given are also applicable to literal gate realizations employing compound literals. The prime implicant generation and covering problems are treated in detail. It is shown that the selected cover must be iteratively examined for possible reduction at each decision point of the covering process. This reduction is achieved by the elimination of unnecessary nonadjacencies.
Keywords :
Circuit realization of multivalued functions, combinational circuits, compound literals, consensus, literal functions, multivalued algebra, multivalued logic, nonbinary algebra, nonbinary logic.; Algebra; Combinational circuits; Costs; Design methodology; Detectors; Logic circuits; Logic functions; Multivalued logic; Switching circuits; Circuit realization of multivalued functions, combinational circuits, compound literals, consensus, literal functions, multivalued algebra, multivalued logic, nonbinary algebra, nonbinary logic.;
