A transition calculus for Boolean functionsA transition calculus is presented for analyzing the effect of input changes on the output of logic circuits. The method is closely related to the Boolean difference, but it is more powerful. Both differentiation and integration are considered.
Document ID
19750050809
Acquisition Source
Legacy CDMS
Document Type
Conference Proceedings
Authors
Tucker, J. H. (NASA Langley Research Center Hampton, Va., United States)
Bennett, A. W. (Virginia Polytechnic Institute and State University Blacksburg, Va., United States)