Equational Realizations of Switching Functions
- 1 November 1975
- journal article
- Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers
- Vol. C-24 (11) , 1054-1066
- https://doi.org/10.1109/t-c.1975.224133
Abstract
Equational logic is an approach to combinational synthesis based on the equation f(x) = 1 rather than on the function f(x). The central problem of equational logic is to find a system of equations gi(x) = hi(x) (i = 1,2,...,k), of the simplest possible form, that has the same solutions as f(x) = 1. Given such a k-equation system, f(x) may be realized as the output of a k-wide digital comparator whose inputs are the 2k g's and h's constituting the system.Keywords
This publication has 7 references indexed in Scilit:
- The Constrained-Input ProblemIEEE Transactions on Computers, 1975
- Equational LogicIEEE Transactions on Computers, 1974
- Reduced Solutions of Boolean EquationsIEEE Transactions on Computers, 1970
- An Algorithm for Solving Boolean EquationsIEEE Transactions on Electronic Computers, 1963
- The map method for synthesis of combinational logic circuitsTransactions of the American Institute of Electrical Engineers, Part I: Communication and Electronics, 1953
- Memoir on the Algebra of Symbolic LogicAmerican Journal of Mathematics, 1901
- XXXIII. On logical diagrams for n termsJournal of Computers in Education, 1881