Equational Logic

@article{Brown1974EquationalL,
  title={Equational Logic},
  author={F. M. Brown},
  journal={IEEE Transactions on Computers},
  year={1974},
  volume={C-23},
  pages={1228-1237}
}
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 input-vector 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… CONTINUE READING