Issue No. 11 - November (1975 vol. 24)

ISSN: 0018-9340

pp: 1054-1066

F.M. Brown , Department of Electrical Engineering, University of Kentucky

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 g<inf>i</inf>(x) = h<inf>i</inf>(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

INDEX TERMS

Boolean equations, Boolean matrices, combinational logic, digital comparators, functional decomposition.

CITATION

F.M. Brown, "Equational Realizations of Switching Functions",

*IEEE Transactions on Computers*, vol. 24, no. , pp. 1054-1066, November 1975, doi:10.1109/T-C.1975.224133