NASA NTRS · 19750050809
A transition calculus for Boolean functions
Abstract
A 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.
Keep this discovery
Explore connections, maps & timelines
Tucker, J. H., Bennett, A. W.. 1974-01-01. A transition calculus for Boolean functions. https://ntrs.nasa.gov/citations/19750050809
Cite the original work for its findings. Save a collection to share your selection of sources.