Equational Logic

  title={Equational Logic},
  author={F. M. Brown},
  journal={IEEE Transactions on Computers},
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