A transition calculus is developed for describing and analyzing the dynamic behavior of logic circuits. Boolean partial derivatives are introduced that are more powerful and applicable to a wider class of problems than the Boolean difference. The partial derivatives are used to define a Boolean differential which provides a concise method for describing the effect on a switching function of changes in its variables. It is shown that a nonconstant function is uniquely determined by its differential, and integration techniques are developed for finding a function when its differential is known. The useful concepts of exact integrals, compatible integrals, and integration by parts are introduced and the conditions for their existence are established. Algorithms for both differentiation and integration are simply implemented using Karnaugh maps. / Ph. D.
Identifer | oai:union.ndltd.org:VTETD/oai:vtechworks.lib.vt.edu:10919/76491 |
Date | January 1974 |
Creators | Tucker, Jerry Hassell |
Contributors | Electrical Engineering |
Publisher | Virginia Polytechnic Institute and State University |
Source Sets | Virginia Tech Theses and Dissertation |
Language | en_US |
Detected Language | English |
Type | Dissertation, Text |
Format | xii, 184 leaves, application/pdf, application/pdf |
Rights | In Copyright, http://rightsstatements.org/vocab/InC/1.0/ |
Relation | OCLC# 21133696 |
Page generated in 0.0021 seconds