{"id":{"repo_id":"vt","oai_identifier":"oai:vtechworks.lib.vt.edu:10919/76491"},"canonical_url":"https://search.dev.ndltd.org/etd/vt/oai:vtechworks.lib.vt.edu:10919/76491","repository":{"repo_id":"vt","name":"Virginia Tech","base_url":"https://vtechworks.lib.vt.edu/oai/request"},"display":{"title":"A transition calculus for Boolean functions","abstract":"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.","abstract_html":"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.","abstract_has_math":false,"creators":["Tucker, Jerry Hassell"],"institution":"Virginia Polytechnic Institute and State University","degree_name":"Ph. D.","degree_level":"doctoral","degree_discipline":"Electrical Engineering","degree_department":"Electrical Engineering","school":null,"contributors":[],"advisors":[],"committee_chairs":[],"committee_members":[],"year":1974,"date_issued":"1974","date_published":"1974","updated_at":"2026-07-22T22:18:53Z","subjects":[],"languages":["en_US"],"rights":["In Copyright"],"rights_urls":["http://rightsstatements.org/vocab/InC/1.0/"],"identifier_entries":[]},"links":{"outbound_url":"http://hdl.handle.net/10919/76491","outbound_label":"Handle","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.department","label":"Department","values":["Electrical Engineering"]},{"key":"dc:creator","label":"Author","values":["Tucker, Jerry Hassell"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2017-03-10T21:54:36Z"]},{"key":"dc:date.available","label":"Dc Date Available","values":["2017-03-10T21:54:36Z"]},{"key":"dc:date.issued","label":"Date","values":["1974"]},{"key":"dc:publisher","label":"Institution","values":["Virginia Polytechnic Institute and State University"]},{"key":"dc:type","label":"Dc Type","values":["Dissertation"]},{"key":"dc:type.dcmitype","label":"Dc Type Dcmitype","values":["Text"]},{"key":"thesis:degree_discipline","label":"Discipline","values":["Electrical Engineering"]},{"key":"thesis:degree_level","label":"Degree Level","values":["doctoral"]},{"key":"thesis:degree_name","label":"Degree Name","values":["Ph. D."]},{"key":"thesis:institution_name","label":"Thesis Institution Name","values":["Virginia Polytechnic Institute and State University"]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language.iso","label":"Language (ISO)","values":["en_US"]},{"key":"dc:rights","label":"Dc Rights","values":["In Copyright"]},{"key":"dc:rights.uri","label":"Rights URI","values":["http://rightsstatements.org/vocab/InC/1.0/"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["http://hdl.handle.net/10919/76491"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description.abstract","label":"Abstract","values":["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."]},{"key":"dc:description.degree","label":"Dc Description Degree","values":["Ph. D."]},{"key":"dc:format.mimetype","label":"Dc Format Mimetype","values":["application/pdf"]},{"key":"dc:title","label":"Title","values":["A transition calculus for Boolean functions"]}]}],"canonical_facts":{"dc:contributor.department":["Electrical Engineering"],"dc:creator":["Tucker, Jerry Hassell"],"dc:date.accessioned":["2017-03-10T21:54:36Z"],"dc:date.available":["2017-03-10T21:54:36Z"],"dc:date.issued":["1974"],"dc:description.abstract":["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."],"dc:description.degree":["Ph. D."],"dc:format.mimetype":["application/pdf"],"dc:identifier.uri":["http://hdl.handle.net/10919/76491"],"dc:language.iso":["en_US"],"dc:publisher":["Virginia Polytechnic Institute and State University"],"dc:rights":["In Copyright"],"dc:rights.uri":["http://rightsstatements.org/vocab/InC/1.0/"],"dc:title":["A transition calculus for Boolean functions"],"dc:type":["Dissertation"],"dc:type.dcmitype":["Text"],"thesis:degree_discipline":["Electrical Engineering"],"thesis:degree_level":["doctoral"],"thesis:degree_name":["Ph. D."],"thesis:institution_name":["Virginia Polytechnic Institute and State University"]},"updated_at":"2026-07-22T22:18:53Z"}