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.M. Brown, "Equational Realizations of Switching Functions", IEEE Transactions on Computers, vol.24, no. 11, pp. 1054-1066, November 1975, doi:10.1109/T-C.1975.224133