Factorization of Multi-Valued Logic Functions
ISMVL '95 Proceedings of the 25th International Symposium on Multiple-Valued Logic
Current-Mode CMOS Multiple-Valued Logic Function Realization Using a Direct Cover Algorithm
ISMVL '95 Proceedings of the 25th International Symposium on Multiple-Valued Logic
Learning Multiple-Valued Logic Networks Based on Back Propagation
ISMVL '95 Proceedings of the 25th International Symposium on Multiple-Valued Logic
Design of Ternary COS/MOS Memory and Sequential Circuits
IEEE Transactions on Computers
Reed-Muller Canonical Forms in Multivalued Logic
IEEE Transactions on Computers
On Input and Next-State Equations of the R-S Type M-Stable
IEEE Transactions on Computers
Vector Boolean Algebra and Calculus
IEEE Transactions on Computers
An Algebraic Method for Designing Multivalued Logic Circuits using Principally Binary Components
IEEE Transactions on Computers
Detection of Single, Stuck-Type Failures in Multivalued Combinational Networks
IEEE Transactions on Computers
Analysis of a genetic programming algorithm for association studies
Proceedings of the 10th annual conference on Genetic and evolutionary computation
Flip-Flops for Multiple-Valued Logic
IEEE Transactions on Computers
Computer minimization of multivalued switching functions
IEEE Transactions on Computers
Hi-index | 15.01 |
The relationship between multivalued switching algebra and Boolean algebra is presented by introducing different definitions for the complements of multivalued variables. For every definition introduced, the paper points out which Boolean algebra theorems are valid for multivalued cases, which are invalid, and gives proofs to substantiate the claim. It is shown that DeMorgan's theorem holds for all four definitions of complement given in this paper. One definition allows us to map the multivalued variables into binary variables. Under this definition, all axioms and theorems of Boolean algebra are satisfied and can be used for minimization of any multivalued switching function f. Illustrative examples for minimizing f and its complement f are given.