The Relationship Between Multivalued Switching Algebra and Boolean Algebra Under Different Definitions of Complement
- 1 May 1972
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. C-21 (5), 479-485
- https://doi.org/10.1109/t-c.1972.223544
Abstract
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.Keywords
This publication has 12 references indexed in Scilit:
- A Minimization Technique for Multiple-Valued Logic SystemsIEEE Transactions on Computers, 1968
- Ternary arithmetic unitProceedings of the Institution of Electrical Engineers, 1968
- Ternary-Transmission Contact NetworksIEEE Transactions on Circuit Theory, 1965
- Logical Design of Ternary Switching CircuitsIEEE Transactions on Electronic Computers, 1965
- Ternary Threshold LogicIEEE Transactions on Electronic Computers, 1963
- Some Applications of Magnetic Film Parametrons as Logical DevicesIEEE Transactions on Electronic Computers, 1960
- Synthesis of N-Valued Switching CircuitsIEEE Transactions on Electronic Computers, 1958
- Several-valued combinational switching circuitsTransactions of the American Institute of Electrical Engineers, Part I: Communication and Electronics, 1956
- The Sheffer functions of 3-valued logicThe Journal of Symbolic Logic, 1954
- Introduction to a General Theory of Elementary PropositionsAmerican Journal of Mathematics, 1921