
This Article  
 
Share  
Bibliographic References  
Add to:  
Digg Furl Spurl Blink Simpy Del.icio.us Y!MyWeb  
Search  
 
ASCII Text  x  
F.M. Brown, "Equational Logic," IEEE Transactions on Computers, vol. 23, no. 12, pp. 12281237, December, 1974.  
BibTex  x  
@article{ 10.1109/TC.1974.223841, author = {F.M. Brown}, title = {Equational Logic}, journal ={IEEE Transactions on Computers}, volume = {23}, number = {12}, issn = {00189340}, year = {1974}, pages = {12281237}, doi = {http://doi.ieeecomputersociety.org/10.1109/TC.1974.223841}, publisher = {IEEE Computer Society}, address = {Los Alamitos, CA, USA}, }  
RefWorks Procite/RefMan/Endnote  x  
TY  JOUR JO  IEEE Transactions on Computers TI  Equational Logic IS  12 SN  00189340 SP1228 EP1237 EPD  12281237 A1  F.M. Brown, PY  1974 KW  Boolean equations KW  Boolean matrices KW  combinational logic KW  digital comparators. VL  23 JA  IEEE Transactions on Computers ER   
A combinational circuit realizing the switching function f(x) may be regarded as a solution verifier for the Boolean equation f(x) = 1. (*) The output of the circuit is 1, that is, if and only if the inputvector x is a solution for (*). We use the term "equational logic" to denote an approach to circuit synthesis based on (*) 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 (*). Given such a kequation system, f(x) may be realized as the output of a kwide digital comparator whose inputs are the 2k g's and h's constituting the system. The problem of finding a simple system of equations equivalent to a given equation was investigated more than a century ago by Willian Stanley Jevons, who called it "the inverse problem of logic." It was thought by Jevons and other 19th century logicians that the inverse problem is "always tentative," i.e., that it does not admit of algorithmic solution. It is shown in this paper, however, that the inverse problem may be solved as a covering problem by use of the "table of consequences" of Poretsky. As presently formulated, this approach is limited in practical utility by the large size of the tables involved. It appears that a practical solution technique requires a reformulation of the inverse problem.
Index Terms:
Boolean equations, Boolean matrices, combinational logic, digital comparators.
Citation:
F.M. Brown, "Equational Logic," IEEE Transactions on Computers, vol. 23, no. 12, pp. 12281237, Dec. 1974, doi:10.1109/TC.1974.223841
Usage of this product signifies your acceptance of the Terms of Use.