Issue No. 11 - November (1975 vol. 24)
F.M. Brown , Department of Electrical Engineering, University of Kentucky
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
Boolean equations, Boolean matrices, combinational logic, digital comparators, functional decomposition.
F. Brown, "Equational Realizations of Switching Functions," in IEEE Transactions on Computers, vol. 24, no. , pp. 1054-1066, 1975.